etc/settings

--- a/etc/settings	Tue Mar 31 11:11:36 2009 +0200
+++ b/etc/settings	Tue Mar 31 12:07:17 2009 +0200
@@ -94,7 +94,7 @@
 
 # Specifically for the HOL image
 HOL_USEDIR_OPTIONS=""
-#HOL_USEDIR_OPTIONS="-p 2"
+#HOL_USEDIR_OPTIONS="-p 2 -Q false"
 
 #Source file identification (default: full name + date stamp)
 ISABELLE_FILE_IDENT=""