lib/Tools/usedir

--- a/lib/Tools/usedir	Fri Aug 31 22:46:23 2001 +0200
+++ b/lib/Tools/usedir	Sat Sep 01 00:14:16 2001 +0200
@@ -50,7 +50,7 @@
 MODES=""
 RESET=false
 SESSION=""
-PROOF=MinDeriv
+PROOFS=0
 
 function getoptions()
 {
@@ -84,7 +84,7 @@
         fi
         ;;
       p)
-        PROOF="$OPTARG"
+        PROOFS="$OPTARG"
         ;;
       r)
         RESET=true
@@ -158,7 +158,7 @@
   [ "$COMPRESS" = true ] && OPT_C="-c"
 
   "$ISABELLE" \
-    -e "Session.use_dir [$MODES] $RESET $INFO \"$DOC\" \"$PARENT\" \"$SESSION\" \"$DUMP\" \"$RPATH\" $PROOF;" \
+    -e "Session.use_dir [$MODES] $RESET $INFO \"$DOC\" \"$PARENT\" \"$SESSION\" \"$DUMP\" \"$RPATH\" $PROOFS;" \
     $OPT_C -q -w $LOGIC $NAME > "$LOG" 2>&1
   RC="$?"
 else
@@ -167,7 +167,7 @@
   LOG="$LOGDIR/$ITEM"
 
   "$ISABELLE" \
-    -e "Session.use_dir [$MODES] $RESET $INFO \"$DOC\" \"$PARENT\" \"$SESSION\" \"$DUMP\" \"$RPATH\" $PROOF; quit();" \
+    -e "Session.use_dir [$MODES] $RESET $INFO \"$DOC\" \"$PARENT\" \"$SESSION\" \"$DUMP\" \"$RPATH\" $PROOFS; quit();" \
     -r -q "$LOGIC" > "$LOG" 2>&1
   RC="$?"
   cd ..