Wed, 23 Mar 2011 09:15:49 +0100 | krauss | replace hardwired MIRABELLE_OUTPUT_PATH by temporary directory derived from ISABELLE_TMP_PREFIX and $$ -- old behaviour can be achieved by manually setting MIRABELLE_OUTPUT_PATH | file | diff | annotate |
Mon, 20 Dec 2010 15:19:15 +0100 | wenzelm | tuned/clarified some component settings; | file | diff | annotate |
Wed, 02 Sep 2009 16:23:53 +0200 | boehmes | moved Mirabelle from HOL/Tools to HOL, | file | diff | annotate | base |