Commit Graph

17 Commits

Author SHA1 Message Date
krasimir
008566d41d the new pretty printer is now used for all -dump-* options. added -dump-source. implemented -dump-opt 2009-02-01 12:24:37 +00:00
krasimir
f072485cf5 fix flag handling in combination with binary serialization 2009-01-31 16:53:21 +00:00
krasimir
99c430e5f5 bug fix in the module dependencies checker 2009-01-31 10:49:01 +00:00
krasimir
724417916c .gfo files in binary format 2009-01-23 06:15:27 +00:00
krasimir
181e6a26b1 remove unused import 2009-01-23 06:11:10 +00:00
krasimir
4f093feb49 refactor the GF.Grammar.Grammar syntax. The obsolete constructions are removed 2009-01-19 13:23:03 +00:00
bjorn
5b5b91eb0a Added --parser=ondemand flag. 2008-10-20 14:52:50 +00:00
bjorn
aed72e7653 Added PGF.Macros.mapConcretes 2008-10-20 14:51:42 +00:00
bjorn
b9a9fb2f40 Copy command-line flags to in-memory module when reading from a .gfo file. This maeans that command-line flags get put in the .pgf file. 2008-10-16 11:58:18 +00:00
bjorn
21e3858442 Honor --erasing flag from command-line also when compiling existing .gfo to PGF. 2008-10-16 08:27:43 +00:00
bjorn
f898c7543d Copy command-line options to module flags when compiling to .gfo. 2008-10-15 14:24:23 +00:00
bjorn
50ed99e9b1 Added OPTIONS class to make options handling somewhat nicer. Next, I will merge Flags and ModuleFlags. 2008-10-15 11:38:34 +00:00
aarne
d53f8e0644 added mode 'gf --run' for running silently a script ; made quizzes handle character encoding correctly ; for this end, collected coding functions in GF.Text.Coding 2008-10-01 16:01:51 +00:00
bjorn
3857f4a6a6 A somewhat better solution to the words/UTF-8 problem: do encoding last, but only on what appears to be string literals. 2008-09-15 13:16:04 +00:00
krasimir
2d6e7ad625 print the search path when we can't find a module 2008-09-10 08:55:16 +00:00
aarne
7f9a0cdd34 uniform encoding: gfo and pgf in UTF8, internal in unicode 2008-06-26 16:35:45 +00:00
aarne
c5c6d13546 changed names of resource-1.3; added a note on homepage on release 2008-06-25 16:54:35 +00:00