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 |