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