bin/isabelle-process

--- a/bin/isabelle-process	Tue Aug 04 13:35:33 2009 +0200
+++ b/bin/isabelle-process	Tue Aug 04 15:05:34 2009 +0200
@@ -160,15 +160,13 @@
     INFILE=""
     ISA_PATH=""
 
-    ORIG_IFS="$IFS"
-    IFS=":"
-    for DIR in $ISABELLE_PATH
+    ORIG_IFS="$IFS"; IFS=":"; declare -a PATHS=($ISABELLE_PATH); IFS="$ORIG_IFS"
+    for DIR in "${PATHS[@]}"
     do
       DIR="$DIR/$ML_IDENTIFIER"
       ISA_PATH="$ISA_PATH  $DIR\n"
       [ -z "$INFILE" -a -f "$DIR/$INPUT" ] && INFILE="$DIR/$INPUT"
     done
-    IFS="$ORIG_IFS"
 
     if [ -z "$INFILE" ]; then
       echo "Unknown logic \"$INPUT\" -- no heap file found in:" >&2