| Thu, 07 Aug 1997 23:48:29 +0200 | berghofe | Removed references to simplifier. | file | diff | annotate |
| Wed, 06 Aug 1997 00:33:13 +0200 | berghofe | Added some new dependencies for files in subdirectory Thy. | file | diff | annotate |
| Tue, 05 Aug 1997 17:01:02 +0200 | wenzelm | removed ML-Systems/smlnj-1.07.ML; | file | diff | annotate |
| Tue, 06 May 1997 15:27:35 +0200 | wenzelm | fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?); | file | diff | annotate |
| Wed, 16 Apr 1997 18:17:38 +0200 | wenzelm | added sorts.ML, type_infer.ML; | file | diff | annotate |
| Fri, 07 Mar 1997 14:51:50 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 28 Feb 1997 16:38:55 +0100 | wenzelm | added Syntax/token_trans.ML; | file | diff | annotate |
| Wed, 18 Dec 1996 12:41:48 +0100 | wenzelm | IsaMakefile for Pure Isabelle; | file | diff | annotate |