doc-src/System/Thy/Misc.thy
Mon, 27 Aug 2012 16:10:54 +0200 wenzelm clarified "isabelle logo";
Fri, 17 Aug 2012 17:35:07 +0200 wenzelm some explanations on isabelle components;
Wed, 15 Aug 2012 12:54:25 +0200 wenzelm tuned;
Wed, 15 Aug 2012 12:36:38 +0200 wenzelm some updates of "Presenting theories", using mkroot/build instead of former mkdir/make/usedir (which are still present in "Misc");
Wed, 08 Aug 2012 14:45:40 +0200 wenzelm discontinued obsolete "isabelle makeall";
Tue, 07 Aug 2012 23:43:05 +0200 wenzelm discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
Mon, 30 Jul 2012 14:11:29 +0200 wenzelm more uniform usage of "isabelle tool";
Sat, 28 Jul 2012 14:52:56 +0200 wenzelm tuned;
Sat, 28 Apr 2012 18:05:19 +0200 wenzelm some coverage of isabelle env;
Sat, 28 Apr 2012 17:54:50 +0200 wenzelm updated system manual for release;
Wed, 07 Sep 2011 18:01:01 +0200 wenzelm updated file locations;
Mon, 27 Jun 2011 22:20:49 +0200 wenzelm document antiquotations are managed as theory data, with proper name space and entity markup;
Tue, 11 Jan 2011 20:01:57 +0100 wenzelm updated to Isabelle2011;
Tue, 11 Jan 2011 19:55:34 +0100 wenzelm isabelle version -i;
Sun, 28 Nov 2010 21:07:28 +0100 wenzelm Parse.liberal_name for document antiquotations and attributes;
less more (0) -15 tip