--- a/etc/settings Fri Oct 31 06:52:43 2003 +0100
+++ b/etc/settings Fri Oct 31 06:54:22 2003 +0100
@@ -66,7 +66,7 @@
### (as on command line)
###
-ISABELLE_USEDIR_OPTIONS="-v"
+ISABELLE_USEDIR_OPTIONS="-v true"
# for overriding proof objects in HOL image
HOL_PROOF_OBJECTS=""