| Tue, 26 Oct 2004 16:31:09 +0200 | berghofe | Added setup for code generator. | changeset | files |
| Tue, 26 Oct 2004 16:30:32 +0200 | berghofe | Added simple code generator. | changeset | files |
| Tue, 26 Oct 2004 16:29:54 +0200 | berghofe | Removed code generator stuff. Code generation is now handled by code | changeset | files |
| Tue, 26 Oct 2004 16:26:53 +0200 | berghofe | Added call to Codegen.preprocess. | changeset | files |
| Tue, 26 Oct 2004 16:25:41 +0200 | berghofe | Fixed problem with sorts in function make_casedists. | changeset | files |
| Mon, 25 Oct 2004 17:19:17 +0200 | nipkow | fixed urls | changeset | files |
| Sun, 24 Oct 2004 15:41:52 +0200 | aspinall | Simplification to symbol processing; put quotes around theory name in message. | changeset | files |
| Thu, 21 Oct 2004 19:21:32 +0200 | aspinall | Fix <closetheory> | changeset | files |