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 |