lib/scripts/isa-emacs

--- 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\"))"