1.1 --- a/lib/Tools/usedir	Thu Jan 27 12:34:52 2005 +0100
     1.2 +++ b/lib/Tools/usedir	Thu Jan 27 12:35:20 2005 +0100
     1.3 @@ -17,7 +17,7 @@
     1.4    echo
     1.5    echo "  Options are:"
     1.6    echo "    -D PATH      dump generated document sources into PATH"
     1.7 -  echo "    -H BOOL      hide proofs and some other commands in document (default false)"
     1.8 +  echo "    -H BOOL      hide proofs and some other commands in document (default true)"
     1.9    echo "    -P PATH      set path for remote theory browsing information"
    1.10    echo "    -b           build mode (output heap image, using current dir)"
    1.11    echo "    -c BOOL      tell ML system to compress output image (default true)"
    1.12 @@ -65,7 +65,7 @@
    1.13  BUILD=""
    1.14  COMPRESS=true
    1.15  DOCUMENT=false
    1.16 -HIDE=false
    1.17 +HIDE=true
    1.18  ROOT_FILE=ROOT.ML
    1.19  DOCUMENT_GRAPH=false
    1.20  INFO=false