| Sat, 29 May 2004 15:06:04 +0200 | wenzelm | Output.error; | file | diff | annotate |
| Mon, 10 May 2004 19:25:59 +0200 | wenzelm | added Scan.list; | file | diff | annotate |
| Thu, 29 Apr 2004 06:03:41 +0200 | wenzelm | added is_literal; | file | diff | annotate |
| Mon, 26 Apr 2004 14:58:29 +0200 | wenzelm | tuned presentation; | file | diff | annotate |
| Fri, 11 Jul 2003 15:00:54 +0200 | berghofe | Restored old (tail recursive!) version of repeat. | file | diff | annotate |
| Sat, 28 Jun 2003 13:42:56 +0200 | kleing | integrated optimizations by Sebastian Skalberg, | file | diff | annotate |
| Wed, 29 Jan 2003 17:35:11 +0100 | berghofe | Some tuning: | file | diff | annotate |
| Fri, 31 Aug 2001 16:17:52 +0200 | berghofe | Tuned function extend_lexicon. | file | diff | annotate |
| Fri, 29 Dec 2000 19:44:13 +0100 | wenzelm | recover: result; | file | diff | annotate |
| Sun, 25 Jun 2000 23:46:39 +0200 | wenzelm | added state: 'a * 'b -> 'a * ('a * 'b); | file | diff | annotate |
| Fri, 05 May 2000 22:02:46 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Sat, 01 Apr 2000 20:15:55 +0200 | wenzelm | recover: observe stopper; | file | diff | annotate |
| Fri, 16 Jul 1999 22:25:07 +0200 | wenzelm | tuned dest_lexicon; | file | diff | annotate |
| Wed, 12 May 1999 16:52:28 +0200 | wenzelm | rearranged order of modules; | file | diff | annotate |
| Wed, 13 Jan 1999 15:18:02 +0100 | wenzelm | fixed titles; | file | diff | annotate |
| Wed, 13 Jan 1999 12:44:33 +0100 | wenzelm | files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General; | file | diff | annotate |