| Age | Commit message (Collapse) | Author |
|
|
|
latter didn't work anyway. NOTE: you must re-run autoconf (actually the previous patch is the one that requires this).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|