Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
set isatool usedir to verbose by default
authorkleing
Fri, 31 Oct 2003 06:52:43 +0100
changeset 14252 650d9a02add9
parent 14251 b91f632a1d37
child 14253 91a64a93bdb4
set isatool usedir to verbose by default
etc/settings file | annotate | diff | comparison | revisions 
--- 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=""
isabelle