src/HOL/Mirabelle/etc/settings
2011-03-23 krauss 2011-03-23 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
2010-12-20 wenzelm 2010-12-20 tuned/clarified some component settings; explicit comments about common mistakes;
2009-09-02 boehmes 2009-09-02 moved Mirabelle from HOL/Tools to HOL, added session HOL-Mirabelle