doc-src/System/Thy/document/Misc.tex
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-29 wenzelm 2010-11-29 updated generated files;
2010-11-08 wenzelm 2010-11-08 updated generated files;
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 updated generated file;
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;