src/LCF/IsaMakefile
2008-10-04 wenzelm replaced ISATOOL by ISABELLE_TOOL;
2006-06-01 wenzelm removed obsolete ML files;
2006-06-01 wenzelm removed obsolete ML files;
2005-09-03 wenzelm removed fix.thy, pair.thy, simpdata.ML;
1999-02-03 wenzelm usedir -r;
1998-05-08 wenzelm proper thy files;
1998-01-07 wenzelm improved targets;
1997-12-19 wenzelm log files;
1997-07-07 wenzelm eliminated chmod -w;
1997-05-06 wenzelm fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-25 wenzelm removed -c option;
1997-03-20 wenzelm isatool usedir;
1997-01-08 wenzelm IsaMakefile for LCF;
less more (0) tip