doc-src/IsarOverview/IsaMakefile
2009-03-11 wenzelm 2009-03-11 delete unused generated files;
2008-10-04 wenzelm 2008-10-04 replaced ISATOOL by ISABELLE_TOOL;
2005-08-19 nipkow 2005-08-19 -H deleted
2005-06-22 nipkow 2005-06-22 added -H false
2003-05-12 kleing 2003-05-12 defer latex run to Makefile (not IsaMakefile)
2003-05-12 kleing 2003-05-12 IsarOverview moved one level up