equal
deleted
inserted
replaced
77 |
77 |
78 DOC=$(echo $ISABELLE_DOCS | cut -f1 -d:) #first doc dir only |
78 DOC=$(echo $ISABELLE_DOCS | cut -f1 -d:) #first doc dir only |
79 echo "(setq isa-manual-path \"$DOC\")" |
79 echo "(setq isa-manual-path \"$DOC\")" |
80 echo |
80 echo |
81 |
81 |
82 for FILE in ~/.emacs "$ISABELLE_HOME/etc/isa-settings.el" \ |
82 for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \ |
83 "$ISABELLE_HOME_USER/etc/isa-settings.el" |
83 "$ISABELLE_HOME_USER/etc/isa-settings.el" |
84 do |
84 do |
85 [ -f "$FILE" ] && echo "(load \"$FILE\")" |
85 [ -f "$FILE" ] && echo "(load \"$FILE\")" |
86 done |
86 done |
87 echo |
87 echo |