| Fri, 08 May 1998 18:33:29 +0200 | nipkow | Reshuffeling, renaming and a few simple corollaries. | file | diff | annotate |
| Mon, 27 Apr 1998 16:46:56 +0200 | nipkow | Added conversion of reg.expr. to automata. | file | diff | annotate |
| Tue, 10 Mar 1998 13:23:35 +0100 | nipkow | Removed expand_split from simpset. | file | diff | annotate |
| Wed, 05 Nov 1997 09:08:35 +0100 | nipkow | Added an alternativ version of AutoChopper and a theory for the conversion of | file | diff | annotate |
| Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Tue, 21 Nov 1995 12:43:09 +0100 | clasohm | removed make_chart; | file | diff | annotate |
| Sat, 18 Nov 1995 14:55:44 +0100 | nipkow | Half a lexical analyzer generator. | file | diff | annotate |