| Tue, 11 Jul 2006 14:21:04 +0200 | wenzelm | num/xnum: bin or hex; | file | diff | annotate |
| Thu, 17 Jun 2004 14:26:24 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 16 Jun 2004 20:37:00 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 15 Jun 2004 13:23:23 +0200 | wenzelm | tuned lexical syntax; | file | diff | annotate |
| Wed, 09 Jun 2004 18:50:38 +0200 | wenzelm | removed Syntax.test_read; | file | diff | annotate |
| Thu, 25 Mar 2004 06:44:39 +0100 | kleing | documented new identifier syntax | file | diff | annotate |
| 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 |
| Tue, 28 Jul 1998 16:33:43 +0200 | paulson | Changed "goal" to "Goal" | file | diff | annotate |
| Thu, 05 Feb 1998 10:26:59 +0100 | paulson | Fixed a lot of overfull and underfull lines (hboxes) | file | diff | annotate |
| Fri, 09 Jan 1998 13:49:20 +0100 | wenzelm | several minor updates; | file | diff | annotate |
| Tue, 07 Oct 1997 17:08:48 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 07 Oct 1997 17:06:05 +0200 | wenzelm | tuned warning msg; | file | diff | annotate |
| Mon, 22 Sep 1997 17:37:03 +0200 | wenzelm | fixed pttrn syntax; | file | diff | annotate |
| Wed, 02 Jul 1997 16:46:36 +0200 | paulson | Now there are TWO spaces after each full stop, so that the Emacs sentence | file | diff | annotate |
| Fri, 23 May 1997 14:49:39 +0200 | oheimb | new syntactic priority of lambda abstraction | file | diff | annotate |
| Tue, 20 May 1997 10:47:56 +0200 | wenzelm | index: model checkers; | file | diff | annotate |
| Fri, 16 May 1997 15:53:35 +0200 | wenzelm | fixed Modelchek reference; | 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, 07 Dec 1995 14:24:32 +0100 | clasohm | removed quotes from syntax and consts sections | file | diff | annotate |
| Fri, 14 Apr 1995 11:27:57 +0200 | lcp | In binders, the default body priority is now p instead of 0. | file | diff | annotate |
| Mon, 27 Feb 1995 17:47:57 +0100 | wenzelm | new in mixfix annotations: "' " (quote space) separates delimiters without | file | diff | annotate |
| Fri, 27 Jan 1995 13:29:44 +0100 | wenzelm | binder: optional body pri now [bracketted]; | file | diff | annotate |
| Fri, 27 Jan 1995 12:31:18 +0100 | clasohm | renamed Sign.ambiguity_level to Syntax.ambiguity_level | file | diff | annotate |