doc-src/Makefile.in
2010-05-14 blanchet 2010-05-14 added Sledgehammer manual; some material was recovered from the Isar material, the rest is new
2009-10-22 blanchet 2009-10-22 Added Nitpick manual.
2008-12-03 wenzelm 2008-12-03 remove *.lof as well;
2005-04-01 gagern 2005-04-01 bring make to delete files on error
2002-01-08 wenzelm 2002-01-08 dependencies for "typedef" image;
2000-12-06 wenzelm 2000-12-06 tuned;
2000-05-08 wenzelm 2000-05-08 tuned GARBAGE;
1999-07-23 wenzelm 1999-07-23 rail -a;
1999-07-19 wenzelm 1999-07-19 added isabelle_isar logo;
1999-05-07 wenzelm 1999-05-07 replaced png by pdf;
1999-05-06 wenzelm 1999-05-06 tuned;
1999-05-05 wenzelm 1999-05-05 tuned;
1999-05-05 wenzelm 1999-05-05 tuned;
1999-05-05 wenzelm 1999-05-05 Common part for Doc Makefiles;