bin/isabelle
changeset 3118 24dae6222579
parent 3054 c16029f41ad9
child 3183 537f7281d42c
     1.1 --- a/bin/isabelle	Tue May 06 15:24:41 1997 +0200
     1.2 +++ b/bin/isabelle	Tue May 06 15:27:35 1997 +0200
     1.3 @@ -148,8 +148,8 @@
     1.4      OUTFILE="$OUTPUT"
     1.5      ;;
     1.6    *)
     1.7 -    mkdir -p "$ISABELLE_OUTPUT_DIR"
     1.8 -    OUTFILE="$ISABELLE_OUTPUT_DIR/$OUTPUT"
     1.9 +    mkdir -p "$ISABELLE_OUTPUT"
    1.10 +    OUTFILE="$ISABELLE_OUTPUT/$OUTPUT"
    1.11      ;;
    1.12  esac
    1.13