src/HOL/Mirabelle/etc/settings
changeset 42069 6a147393c62a
parent 41308 9e576ec5c0dc
     1.1 --- a/src/HOL/Mirabelle/etc/settings	Tue Mar 22 21:22:50 2011 +0100
     1.2 +++ b/src/HOL/Mirabelle/etc/settings	Wed Mar 23 09:15:49 2011 +0100
     1.3 @@ -4,7 +4,6 @@
     1.4  
     1.5  MIRABELLE_LOGIC=HOL
     1.6  MIRABELLE_THEORY=Main
     1.7 -MIRABELLE_OUTPUT_PATH=/tmp/mirabelle
     1.8  MIRABELLE_TIMEOUT=30
     1.9  
    1.10  ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools"