lib/Tools/mkroot
19 months ago wenzelm 2017-10-30 obsolete;
2014-04-29 wenzelm 2014-04-29 updated mkroot;
2013-07-27 wenzelm 2013-07-27 discontinued ISABELLE_DOC_FORMAT;
2012-08-14 wenzelm 2012-08-14 explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
2012-08-08 wenzelm 2012-08-08 refined isabelle mkroot; allow empty 'theories' to facilitate generated templates;
2012-08-05 wenzelm 2012-08-05 more on isabelle mkroot;
2012-08-05 wenzelm 2012-08-05 added mkroot: prepare session root directory;