doc-src/IsarAdvanced/Classes/IsaMakefile
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2006-10-10 ago initial draft