etc/settings
changeset 24212 62ea51f106b9
parent 24211 213215a8640a
child 24439 f52709e5230e
     1.1 --- a/etc/settings	Fri Aug 10 10:41:57 2007 +0200
     1.2 +++ b/etc/settings	Fri Aug 10 10:54:19 2007 +0200
     1.3 @@ -76,8 +76,8 @@
     1.4  ISABELLE_USEDIR_OPTIONS="-p 1 -v true -V outline=/proof,/ML"
     1.5  
     1.6  # Specifically for the HOL image
     1.7 -HOL_USEDIR_OPTIONS=""
     1.8 -#HOL_USEDIR_OPTIONS="-p 2"
     1.9 +HOL_USEDIR_OPTIONS="-M 1"
    1.10 +#HOL_USEDIR_OPTIONS="-M 1 -p 2"
    1.11  
    1.12  #Source file identification (default: full name + date stamp)
    1.13  ISABELLE_FILE_IDENT=""