etc/settings
changeset 24439 f52709e5230e
parent 24212 62ea51f106b9
child 24479 b272d7998193
     1.1 --- a/etc/settings	Mon Aug 27 14:19:38 2007 +0200
     1.2 +++ b/etc/settings	Mon Aug 27 17:34:55 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="-M 1"
     1.8 -#HOL_USEDIR_OPTIONS="-M 1 -p 2"
     1.9 +HOL_USEDIR_OPTIONS=""
    1.10 +#HOL_USEDIR_OPTIONS="-p 2"
    1.11  
    1.12  #Source file identification (default: full name + date stamp)
    1.13  ISABELLE_FILE_IDENT=""