lib/Tools/mkroot
Tue, 29 Apr 2014 15:35:40 +0200 wenzelm updated mkroot;
Sat, 27 Jul 2013 21:43:12 +0200 wenzelm discontinued ISABELLE_DOC_FORMAT;
Tue, 14 Aug 2012 15:42:58 +0200 wenzelm explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
Wed, 08 Aug 2012 20:35:34 +0200 wenzelm refined isabelle mkroot;
Sun, 05 Aug 2012 20:11:32 +0200 wenzelm more on isabelle mkroot;
Sun, 05 Aug 2012 16:20:34 +0200 wenzelm added mkroot: prepare session root directory;
less more (0) tip