1.1 --- a/lib/Tools/usedir	Wed Feb 03 17:29:48 1999 +0100
     1.2 +++ b/lib/Tools/usedir	Wed Feb 03 17:30:17 1999 +0100
     1.3 @@ -15,9 +15,10 @@
     1.4    echo "Usage: $PRG LOGIC NAME"
     1.5    echo
     1.6    echo "  Options are:"
     1.7 -  echo "    -b           build mode (output heap image, use dir \".\")"
     1.8 +  echo "    -b           build mode (output heap image, using current dir)"
     1.9    echo "    -i BOOL      generate theory browsing information,"
    1.10    echo "                 i.e. HTML / graph data (default false)"
    1.11 +  echo "    -r           reset session path"
    1.12    echo "    -s NAME      override session NAME"
    1.13    echo
    1.14    echo "  Build object-logic or run examples. Also creates browsing"
    1.15 @@ -33,12 +34,13 @@
    1.16  
    1.17  BUILD=""
    1.18  INFO=false
    1.19 +RESET=false
    1.20  SESSION=""
    1.21  
    1.22  function getoptions()
    1.23  {
    1.24    OPTIND=1
    1.25 -  while getopts "bi:s:" OPT
    1.26 +  while getopts "bi:rs:" OPT
    1.27    do
    1.28      case "$OPT" in
    1.29        b)
    1.30 @@ -47,6 +49,9 @@
    1.31        i)
    1.32          INFO="$OPTARG"
    1.33          ;;
    1.34 +      r)
    1.35 +        RESET=true
    1.36 +        ;;
    1.37        s)
    1.38          SESSION="$OPTARG"
    1.39          ;;
    1.40 @@ -112,16 +117,18 @@
    1.41    LOG="$LOGDIR/$ITEM"
    1.42  
    1.43    $ISABELLE \
    1.44 -    -e "make_html := $INFO; make_graph := $INFO; output_dir := \"$ISABELLE_BROWSER_INFO\"; home_path := \"$HOME\"; Context.add_session\"$SESSION\"; exit_use_dir\".\"; make_html := false; make_graph := false;" \
    1.45 +    -e "Session.use_dir $RESET $INFO \"$SESSION\";" \
    1.46      -q -w $LOGIC $NAME > $LOG 2>&1
    1.47  else
    1.48    ITEM=$(basename $LOGIC)-"$SESSION"
    1.49    echo -n "Running $ITEM ... "
    1.50    LOG="$LOGDIR/$ITEM"
    1.51  
    1.52 +  cd "$NAME"
    1.53    $ISABELLE \
    1.54 -    -e "make_html := $INFO; make_graph := $INFO; output_dir := \"$ISABELLE_BROWSER_INFO\"; home_path := \"$HOME\"; Context.add_session\"$SESSION\"; exit_use_dir\"$NAME\"; make_html := false; make_graph := false; quit();" \
    1.55 +    -e "Session.use_dir $RESET $INFO \"$SESSION\"; quit();" \
    1.56      -r -q $LOGIC > $LOG 2>&1
    1.57 +  cd ..
    1.58  fi
    1.59  
    1.60  RC=$?