| Mon, 10 Dec 2001 15:39:34 +0100 | berghofe | - Added code generator interface for types | file | diff | annotate |
| Wed, 28 Nov 2001 00:46:26 +0100 | wenzelm | theory data: removed obsolete finish method; | file | diff | annotate |
| Fri, 09 Nov 2001 00:19:20 +0100 | wenzelm | theory data: finish method; | file | diff | annotate |
| Sat, 01 Sep 2001 00:20:44 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 31 Aug 2001 18:46:48 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Fri, 31 Aug 2001 16:14:34 +0200 | berghofe | Initial version of generic code generator. | file | diff | annotate |