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 |
Thu, 08 Aug 1996 11:34:29 +0200 | berghofe | Simplified primrec definitions. | file | diff | annotate |
Mon, 05 Feb 1996 21:29:06 +0100 | clasohm | expanded tabs; incorporated Konrad's changes | file | diff | annotate |
Wed, 29 Nov 1995 17:01:41 +0100 | clasohm | removed quotes from consts and syntax sections | file | diff | annotate |
Thu, 23 Nov 1995 13:52:53 +0100 | nipkow | Updated comments | file | diff | annotate |
Tue, 21 Nov 1995 17:59:45 +0100 | nipkow | Added lots of comments | file | diff | annotate |
Sat, 18 Nov 1995 14:55:44 +0100 | nipkow | Half a lexical analyzer generator. | file | diff | annotate |