isabelle: File revisions

src/Cube/IsaMakefile

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
2007-10-06	wenzelm	removed duplicate target;	file \| diff \| annotate
2005-09-17	wenzelm	plain test session, includes example;	file \| diff \| annotate
2005-09-03	wenzelm	converted to Isar theory format;	file \| diff \| annotate
2001-04-19	paulson	renaming of theory LOmega to lomega2 in order to prevent a possible	file \| diff \| annotate
1998-01-20	wenzelm	reorganized into individual theories;	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 Cube;	file \| diff \| annotate

isabelle