2009-10-22 | blanchet | Added Nitpick manual. | file | diff | annotate |
2008-12-03 | wenzelm | remove *.lof as well; | file | diff | annotate |
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 |