aarne 2925edd088 text-like unlexer for phrasebook web service

2010-03-26 22:08:48 +00:00

..

compiler

bugfix in the lProlog generator

2010-03-24 20:54:20 +00:00

runtime

now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types.

2010-03-24 11:11:55 +00:00

server

text-like unlexer for phrasebook web service

2010-03-26 22:08:48 +00:00

tools

changed names of resource-1.3; added a note on homepage on release

2008-06-25 16:54:35 +00:00