isabelle: File revisions

src/FOLP/IsaMakefile

2011-12-14	wenzelm	more visible benchmarks;	file \| diff \| annotate
2011-12-02	wenzelm	removed dead code, which has never been active in recorded history;	file \| diff \| annotate
2011-08-10	wenzelm	old term operations are legacy;	file \| diff \| annotate
2011-03-27	krauss	added make target 'smlnj' to refer to what can/should be tested using smlnj -- allows the use of "isabelle makeall smlnj";	file \| diff \| annotate
2010-05-12	wenzelm	removed obsolete CVS Ids;	file \| diff \| annotate
2008-10-04	wenzelm	replaced ISATOOL by ISABELLE_TOOL;	file \| diff \| annotate
2008-03-26	wenzelm	converted legacy ML scripts;	file \| diff \| annotate
2008-03-18	wenzelm	converted legacy ML scripts;	file \| diff \| annotate
2008-01-27	wenzelm	eliminated some legacy ML files;	file \| diff \| annotate
2005-09-18	wenzelm	converted to Isar theory format;	file \| diff \| annotate
1998-01-07	wenzelm	improved targets;	file \| diff \| annotate
1997-12-19	wenzelm	log files;	file \| diff \| annotate
1997-07-07	wenzelm	eliminated chmod -w;	file \| diff \| annotate
1997-05-06	wenzelm	fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);	file \| diff \| annotate
1997-03-20	wenzelm	isatool usedir;	file \| diff \| annotate
1997-01-08	wenzelm	IsaMakefile for FOLP;	file \| diff \| annotate

isabelle