doc-src/System/IsaMakefile
2008-10-04 ago replaced ISATOOL by ISABELLE_TOOL;
2008-09-15 ago converted symbols.tex;
2008-09-15 ago converted misc.tex;
2008-09-15 ago converted present.tex;
2008-09-15 ago basic setup for generated document sources (cf. IsarRef/isar-ref.tex);