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