| Mon, 25 May 1998 12:55:01 +0200 |
nipkow |
Swapped order of params.
|
file |
diff |
annotate
|
| Thu, 14 May 1998 16:54:20 +0200 |
nipkow |
Reordred arguments in AutoChopper.
|
file |
diff |
annotate
|
| Mon, 27 Apr 1998 16:46:56 +0200 |
nipkow |
Added conversion of reg.expr. to automata.
|
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
|
| 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
|