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