Sat, 24 Oct 2009 16:55:43 +0200 | bulwahn | removed dead code; added examples | changeset | files |
Sat, 24 Oct 2009 16:55:43 +0200 | bulwahn | removed obsolete GeneratorPrem; clean-up after modularization; tuned | changeset | files |
Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | modularized the compilation in the predicate compiler | changeset | files |