| Mon, 24 Aug 1998 18:58:12 +0200 | wenzelm | added nonterminals, setup; | file | diff | annotate |
| Mon, 04 May 1998 13:48:47 +0200 | wenzelm | fixed constdefs syntax; | file | diff | annotate |
| Fri, 09 Jan 1998 13:49:20 +0100 | wenzelm | several minor updates; | file | diff | annotate |
| Thu, 27 Nov 1997 19:39:02 +0100 | wenzelm | several minor updates; | file | diff | annotate |
| Fri, 16 May 1997 15:54:04 +0200 | wenzelm | fixed infix syntax; | file | diff | annotate |
| Wed, 07 May 1997 16:40:00 +0200 | wenzelm | fixed witness syntax; | file | diff | annotate |
| Tue, 06 May 1997 12:50:16 +0200 | wenzelm | misc updates, tuning, cleanup; | file | diff | annotate |
| Fri, 02 May 1997 16:41:35 +0200 | berghofe | Updated to LaTeX 2e | file | diff | annotate |
| Thu, 11 Jul 1996 15:00:38 +0200 | paulson | Documentation of oracles and their syntax | file | diff | annotate |
| Thu, 04 Apr 1996 18:01:47 +0200 | nipkow | Added 'constdefs' | file | diff | annotate |
| Fri, 09 Feb 1996 18:25:27 +0100 | nipkow | Added typevarlist | file | diff | annotate |
| Fri, 01 Dec 1995 14:20:09 +0100 | clasohm | changed typeDecl | file | diff | annotate |
| Fri, 01 Dec 1995 13:41:48 +0100 | clasohm | corrected diagrams for type and simpleType | file | diff | annotate |
| Fri, 01 Dec 1995 12:26:42 +0100 | clasohm | modified simpleType | file | diff | annotate |
| Thu, 30 Nov 1995 12:58:44 +0100 | clasohm | removed spaghetti diagrams for constType | file | diff | annotate |
| Wed, 29 Nov 1995 16:58:30 +0100 | clasohm | changed syntax diagrams according to quote-less consts and syntax section | file | diff | annotate |
| Wed, 21 Jun 1995 11:35:10 +0200 | nipkow | Added remark that \...\ in strings is unnecessary. | file | diff | annotate |
| Wed, 03 May 1995 08:58:32 +0200 | nipkow | Simplified layout a little. | file | diff | annotate |
| Tue, 02 May 1995 19:59:06 +0200 | nipkow | Sections can now be given in any order. | file | diff | annotate |
| Fri, 15 Apr 1994 17:50:14 +0200 | lcp | penultimate Springer draft | file | diff | annotate |
| Wed, 23 Mar 1994 16:56:44 +0100 | nipkow | have broken line | file | diff | annotate |
| Mon, 21 Mar 1994 10:51:28 +0100 | lcp | first draft of Springer book | file | diff | annotate |