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.
Proofs are now hidden by default.
authorberghofe
Thu, 27 Jan 2005 12:35:20 +0100
changeset 15474 6e60be6a6c21
parent 15473 24132e496561
child 15475 fdf9434b04ea
Proofs are now hidden by default.
lib/Tools/usedir file | annotate | diff | comparison | revisions 
--- a/lib/Tools/usedir	Thu Jan 27 12:34:52 2005 +0100
+++ b/lib/Tools/usedir	Thu Jan 27 12:35:20 2005 +0100
@@ -17,7 +17,7 @@
   echo
   echo "  Options are:"
   echo "    -D PATH      dump generated document sources into PATH"
-  echo "    -H BOOL      hide proofs and some other commands in document (default false)"
+  echo "    -H BOOL      hide proofs and some other commands in document (default true)"
   echo "    -P PATH      set path for remote theory browsing information"
   echo "    -b           build mode (output heap image, using current dir)"
   echo "    -c BOOL      tell ML system to compress output image (default true)"
@@ -65,7 +65,7 @@
 BUILD=""
 COMPRESS=true
 DOCUMENT=false
-HIDE=false
+HIDE=true
 ROOT_FILE=ROOT.ML
 DOCUMENT_GRAPH=false
 INFO=false
isabelle