doc-src/System/Thy/Misc.thy
2012-04-28 wenzelm 2012-04-28 updated system manual for release;
2011-09-07 wenzelm 2011-09-07 updated file locations;
2011-06-27 wenzelm 2011-06-27 document antiquotations are managed as theory data, with proper name space and entity markup;
2011-01-11 wenzelm 2011-01-11 updated to Isabelle2011;
2011-01-11 wenzelm 2011-01-11 isabelle version -i;
2010-11-28 wenzelm 2010-11-28 Parse.liberal_name for document antiquotations and attributes;
2009-08-04 wenzelm 2009-08-04 turned object-logics into components; isabelle makeall: operate on all components with IsaMakefile, not just hardwired "logics";
2009-07-20 wenzelm 2009-07-20 removed obsolete CVS Ids;
2009-06-07 wenzelm 2009-06-07 isabelle getenv: option -d;
2008-11-30 wenzelm 2008-11-30 removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting; separate chapter on interfaces as Isabelle tools;
2008-10-04 wenzelm 2008-10-04 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-09-16 wenzelm 2008-09-16 tuned;
2008-09-16 wenzelm 2008-09-16 separate emacs tool for Proof General / Emacs;
2008-09-16 wenzelm 2008-09-16 misc tuning and modernization;
2008-09-15 wenzelm 2008-09-15 converted misc.tex;