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
|