2012-04-28 wenzelm 2012-04-28 some coverage of Isabelle/Scala tools;
2012-04-28 wenzelm 2012-04-28 some coverage of Isabelle/jEdit;
2012-04-28 wenzelm 2012-04-28 some updates concerning current Proof General 4.x, which lacks X-Symbol mode of 3.x; removed historic note about Poly/ML vs. SML/NJ;
2011-06-27 wenzelm 2011-06-27 document antiquotations are managed as theory data, with proper name space and entity markup;
2010-11-08 wenzelm 2010-11-08 updated generated files;
2009-07-20 wenzelm 2009-07-20 removed obsolete CVS Ids;
2008-11-30 wenzelm 2008-11-30 removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting; separate chapter on interfaces as Isabelle tools;