| Age | Commit message (Collapse) | Author |
|
|
|
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.
|
|
|
|
|
|
transliteration added
|
|
|
|
|
|
with older cgi versions.
|
|
|
|
|
|
|
|
warning guaranteed if this is because restricted inheritance)
|
|
|
|
|
|
|
|
|
|
|