2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2006-11-21 ago converted legacy ML scripts;
2006-11-20 ago converted legacy ML scripts;
1999-07-27 ago installation of simplifier and classical reasoner, better rules etc
1999-02-05 ago examples made separate dirs;
1998-01-07 ago improved targets;
1997-12-19 ago log files;
1997-07-07 ago eliminated chmod -w;
1997-05-06 ago fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-03-20 ago isatool usedir;
1997-01-08 ago IsaMakefile for Sequents;