doc-src/Makefile.in
2005-04-01 gagern bring make to delete files on error
2002-01-08 wenzelm dependencies for "typedef" image;
2000-12-06 wenzelm tuned;
2000-05-08 wenzelm tuned GARBAGE;
1999-07-23 wenzelm rail -a;
1999-07-19 wenzelm added isabelle_isar logo;
1999-05-07 wenzelm replaced png by pdf;
1999-05-06 wenzelm tuned;
1999-05-05 wenzelm tuned;
1999-05-05 wenzelm tuned;
1999-05-05 wenzelm Common part for Doc Makefiles;
less more (0) tip