diff -r 225daff4323b -r b28be884edda etc/settings
--- a/etc/settings	Sun Jan 03 15:09:02 2010 +0100
+++ b/etc/settings	Mon Jan 04 11:55:23 2010 +0100
@@ -89,10 +89,6 @@
 
 ISABELLE_USEDIR_OPTIONS="-M max -p 1 -q 2 -v true -V outline=/proof,/ML"
 
-# Specifically for the HOL image
-HOL_USEDIR_OPTIONS=""
-#HOL_USEDIR_OPTIONS="-p 2 -q 1"
-
 #Source file identification (default: full name + date stamp)
 ISABELLE_FILE_IDENT=""
 #ISABELLE_FILE_IDENT="md5"