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