src/Doc/System/Misc.thy
Mon, 09 Dec 2013 12:22:23 +0100 wenzelm more antiquotations;
Fri, 06 Dec 2013 22:10:45 +0100 wenzelm clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment;
Fri, 06 Sep 2013 12:46:50 +0200 wenzelm tuned;
Sun, 07 Jul 2013 18:43:14 +0200 wenzelm discontinued obsolete "isabelle print";
Tue, 25 Jun 2013 12:17:19 +0200 wenzelm slightly improved "isabelle doc" based on Isabelle/Scala;
Fri, 17 May 2013 18:19:42 +0200 wenzelm discontinued obsolete isabelle usedir, mkdir, make;
Mon, 31 Dec 2012 15:56:17 +0100 wenzelm simplified quick start via "isabelle components -I";
Tue, 20 Nov 2012 15:18:11 +0100 wenzelm simplified command line of "isabelle install";
Mon, 03 Sep 2012 11:09:25 +0200 wenzelm "isabelle logo" produces EPS and PDF format simultaneously;
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip