changeset 2968 | 8ba30b031f31 |
parent 2947 | abca00c27841 |
child 3007 | e5efa177ee0c |
--- a/lib/scripts/isa-emacs Wed Apr 16 18:53:36 1997 +0200 +++ b/lib/scripts/isa-emacs Thu Apr 17 10:30:57 1997 +0200 @@ -67,9 +67,8 @@ echo "(setq isa-logic-paths" echo -n "'(" - for D in $(echo $ISABELLE_PATH | tr : " ") + for DIR in $(echo $ISABELLE_PATH | tr : " ") do - DIR="$D/$ML_SYSTEM-$PLATFORM" [ -d $DIR ] && echo "\"$DIR\"" done echo "\"$ISAMODE_HOME/ruletables\"))"