doc-src/Makefile.in
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;