equal
deleted
inserted
replaced
65 echo "(load \"$ISAMODE_HOME/elisp/isa-site.el\")" |
65 echo "(load \"$ISAMODE_HOME/elisp/isa-site.el\")" |
66 echo |
66 echo |
67 |
67 |
68 echo "(setq isa-logic-paths" |
68 echo "(setq isa-logic-paths" |
69 echo -n "'(" |
69 echo -n "'(" |
70 for D in $(echo $ISABELLE_PATH | tr : " ") |
70 for DIR in $(echo $ISABELLE_PATH | tr : " ") |
71 do |
71 do |
72 DIR="$D/$ML_SYSTEM-$PLATFORM" |
|
73 [ -d $DIR ] && echo "\"$DIR\"" |
72 [ -d $DIR ] && echo "\"$DIR\"" |
74 done |
73 done |
75 echo "\"$ISAMODE_HOME/ruletables\"))" |
74 echo "\"$ISAMODE_HOME/ruletables\"))" |
76 echo |
75 echo |
77 |
76 |