# 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=""