diff -r 89db5eedecab -r 8ba30b031f31 bin/isabelle
--- a/bin/isabelle	Wed Apr 16 18:53:36 1997 +0200
+++ b/bin/isabelle	Thu Apr 17 10:30:57 1997 +0200
@@ -129,8 +129,8 @@
     INFILE=""
     for DIR in $(echo $ISABELLE_PATH | tr : " ")
     do
-      ISA_PATH="$ISA_PATH $DIR/$ML_SYSTEM-$PLATFORM"
-      [ -z "$INFILE" -a -f $DIR/$ML_SYSTEM-$PLATFORM/$INPUT ] && INFILE=$DIR/$ML_SYSTEM-$PLATFORM/$INPUT
+      ISA_PATH="$ISA_PATH $DIR"
+      [ -z "$INFILE" -a -f $DIR/$INPUT ] && INFILE=$DIR/$INPUT
     done
     if [ -z "$INFILE" ]; then
       echo "Unknown logic \"$INPUT\" -- no heap file found in:" >&2
@@ -154,9 +154,8 @@
     OUTFILE="$OUTPUT"
     ;;
   *)
-    OUTDIR="$ISABELLE_OUTPUT/$ML_SYSTEM-$PLATFORM"
-    mkdir -p "$OUTDIR"
-    OUTFILE="$OUTDIR/$OUTPUT"
+    mkdir -p "$ISABELLE_OUTPUT_DIR"
+    OUTFILE="$ISABELLE_OUTPUT_DIR/$OUTPUT"
     ;;
 esac