| Mon, 13 Oct 2003 16:54:20 +0200 | skalberg | Fixed spelling error. | file | diff | annotate |
| Tue, 11 Dec 2001 15:58:32 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 28 Sep 2001 16:43:50 +0200 | berghofe | Added TYPE to Pure grammar. | file | diff | annotate |
| Tue, 18 Jan 2000 11:33:31 +0100 | paulson | fixed many bad line & page breaks | file | diff | annotate |
| Wed, 05 May 1999 16:44:42 +0200 | paulson | Now uses manual.bib; some references updated | file | diff | annotate |
| Wed, 23 Sep 1998 12:44:30 +0200 | wenzelm | changed xnum token syntax; | file | diff | annotate |
| Mon, 24 Aug 1998 19:12:13 +0200 | wenzelm | emacs local vars; | file | diff | annotate |