HOL_USEDIR_OPTIONS: default to -M 1 (more robust);
authorwenzelm
Fri Aug 10 10:54:19 2007 +0200 (2007-08-10)
changeset 2421262ea51f106b9
parent 24211 213215a8640a
child 24213 71c57c5099d6
HOL_USEDIR_OPTIONS: default to -M 1 (more robust);
etc/settings
     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=""