src/Pure/IsaMakefile
Tue, 06 May 1997 15:27:35 +0200 wenzelm fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
Wed, 16 Apr 1997 18:17:38 +0200 wenzelm added sorts.ML, type_infer.ML;
Fri, 07 Mar 1997 14:51:50 +0100 wenzelm tuned comments;
Fri, 28 Feb 1997 16:38:55 +0100 wenzelm added Syntax/token_trans.ML;
Wed, 18 Dec 1996 12:41:48 +0100 wenzelm IsaMakefile for Pure Isabelle;
less more (0) tip