src/Cube/IsaMakefile
2005-09-17 wenzelm plain test session, includes example;
2005-09-03 wenzelm converted to Isar theory format;
2001-04-19 paulson renaming of theory LOmega to lomega2 in order to prevent a possible
1998-01-20 wenzelm reorganized into individual theories;
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-03-20 wenzelm isatool usedir;
1997-01-08 wenzelm IsaMakefile for Cube;
less more (0) tip