# HG changeset patch # User wenzelm # Date 1188228895 -7200 # Node ID f52709e5230ee7bea1ca6b3501380dab6e462337 # Parent 2d8058804a76cfdf23ef565a49a4f803f3316c4b HOL_USEDIR_OPTIONS: no special -M setting (now works with multithreaded); diff -r 2d8058804a76 -r f52709e5230e etc/settings --- a/etc/settings Mon Aug 27 14:19:38 2007 +0200 +++ b/etc/settings Mon Aug 27 17:34:55 2007 +0200 @@ -76,8 +76,8 @@ ISABELLE_USEDIR_OPTIONS="-p 1 -v true -V outline=/proof,/ML" # Specifically for the HOL image -HOL_USEDIR_OPTIONS="-M 1" -#HOL_USEDIR_OPTIONS="-M 1 -p 2" +HOL_USEDIR_OPTIONS="" +#HOL_USEDIR_OPTIONS="-p 2" #Source file identification (default: full name + date stamp) ISABELLE_FILE_IDENT=""