2008-10-04 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
2006-06-01 | wenzelm | removed obsolete ML files; | file | diff | annotate |
2006-06-01 | wenzelm | removed obsolete ML files; | file | diff | annotate |
2005-09-03 | wenzelm | removed fix.thy, pair.thy, simpdata.ML; | file | diff | annotate |
1999-02-03 | wenzelm | usedir -r; | file | diff | annotate |
1998-05-08 | wenzelm | proper thy files; | 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-04-25 | wenzelm | removed -c option; | file | diff | annotate |
1997-03-20 | wenzelm | isatool usedir; | file | diff | annotate |
1997-01-08 | wenzelm | IsaMakefile for LCF; | file | diff | annotate |