src, ext = os.path.splitext(args)
sagecode = SageCodeExtractor(src)
-%% This file contains Sage code extracted from %s.%s.
+# This file contains Sage code extracted from %s%s.
""" % (src, ext, time.strftime('%a %d %b %Y %H:%M:%S', time.localtime()))
% expressions, which sometimes look like someone sneezed punctuation all
% First, we define this very helpful parser: it finds the matching
% A |.sout| file consists of one or more such lines. Now go parse the
+ print 'Error accessing %s; exiting. Does your .sout file exist?' % fn
% Pyparser's parse actions get called with three arguments: the string
% that matched, the location of the beginning, and the resulting parse