| Age | Commit message (Collapse) | Author |
|
from deprecated
|
|
|
|
|
|
|
|
|
|
This maeans that command-line flags get put in the .pgf file.
|
|
merge Flags and ModuleFlags.
|
|
used, no hand-hacking is needed.
|
|
|
|
|
|
manipulation functions
|
|
grammar
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
New unicodings.
Module with works.
Better compilation of old GF.
|
|
|
|
Fixed treatment of predefined types (Int, String).
Added treatment of new reserved words to reading old grammars.
|
|
|