| 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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
transliteration added
|
|
|
|
warning guaranteed if this is because restricted inheritance)
|
|
|
|
to display resdemo.html correctly.
|
|
completion as well
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Because the PGF file gets all the flags from the GFO file automatically, we get the coding flag in the PGF file too. This is undesirable, since PGF is supposed to always by in UTF-8.
|
|
|
|
|
|
|
|
|
|
objects. Changed pretty much all the files in the same folder as well as GFCCToJS.hs and SISR.hs to reflect the changes.
|
|
|
|
|
|
|
|
time twice when multiple grammars are loaded.
|
|
removes the .. indirection
|
|
|
|
quotes
|
|
|
|
|
|
current directory instead.
|
|
there is only one place to change if you want to use different envVar
|
|
manipulation functions
|
