doc-src/System/IsaMakefile
2012-04-28 wenzelm 2012-04-28 some coverage of Isabelle/Scala tools;
2011-06-27 wenzelm 2011-06-27 document antiquotations are managed as theory data, with proper name space and entity markup;
2009-03-11 wenzelm 2009-03-11 delete unused generated files;
2009-03-11 wenzelm 2009-03-11 tuned;
2008-11-30 wenzelm 2008-11-30 removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting; separate chapter on interfaces as Isabelle tools;
2008-11-18 wenzelm 2008-11-18 moved table of standard Isabelle symbols to isar-ref manual;
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);