# HG changeset patch
# User kleing
# Date 1067579563 -3600
# Node ID 650d9a02add91af815b883a4ecafea8743367538
# Parent  b91f632a1d370aec06ce49b288dd90b0325aeb9f
set isatool usedir to verbose by default

diff -r b91f632a1d37 -r 650d9a02add9 etc/settings
--- a/etc/settings	Thu Oct 30 16:21:50 2003 +0100
+++ b/etc/settings	Fri Oct 31 06:52:43 2003 +0100
@@ -66,7 +66,7 @@
 ### (as on command line)
 ###
 
-ISABELLE_USEDIR_OPTIONS=""
+ISABELLE_USEDIR_OPTIONS="-v"
 
 # for overriding proof objects in HOL image
 HOL_PROOF_OBJECTS=""