2005-04-01 | gagern | bring make to delete files on error | file | diff | annotate |
2002-01-08 | wenzelm | dependencies for "typedef" image; | file | diff | annotate |
2000-12-06 | wenzelm | tuned; | file | diff | annotate |
2000-05-08 | wenzelm | tuned GARBAGE; | file | diff | annotate |
1999-07-23 | wenzelm | rail -a; | file | diff | annotate |
1999-07-19 | wenzelm | added isabelle_isar logo; | file | diff | annotate |
1999-05-07 | wenzelm | replaced png by pdf; | file | diff | annotate |
1999-05-06 | wenzelm | tuned; | file | diff | annotate |
1999-05-05 | wenzelm | tuned; | file | diff | annotate |
1999-05-05 | wenzelm | tuned; | file | diff | annotate |
1999-05-05 | wenzelm | Common part for Doc Makefiles; | file | diff | annotate |