| Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
|
|
I forgot to fix this after I copied the modified FastCGIUtils from morpho-server.
|
|
|
|
|
|
|
|
|
|
|
|
AJAX client, since it can be too slow.
|
|
|
|
|
|
proper name now gets lexed with a small letter if lextext is used
|
|
|
|
generated Haskell modules.
|
|
* output a PGF grammar in prolog readable syntax
* variables in abstract syntax (hypotheses and lambda-abstractions)
are translated to unique logical variables
* PGF terms in concrete syntax are translated to more prolog-like terms
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
untested.
|
|
|
|
|
|
|
|
printing instead of walking through the PGF structure before pretty-printing.
The old code was brittle, and only converted strings in the lins and opers, not in printnames and parsers. The old code also double encoded some grammars when using gfc to combine PGF files.
|
|
|
|
languages which don't have parsers, instead of always throwing exceptions when some language is missing a parser.
|
|
|