equal
deleted
inserted
replaced
82 |
82 |
83 [ -n "$MAINGEOM" ] && ARGS="$ARGS -geometry $MAINGEOM" |
83 [ -n "$MAINGEOM" ] && ARGS="$ARGS -geometry $MAINGEOM" |
84 [ "$INITFILE" = false ] && ARGS="$ARGS -q" |
84 [ "$INITFILE" = false ] && ARGS="$ARGS -q" |
85 |
85 |
86 |
86 |
87 ARGS="$ARGS -l \"$ISAMODE_HOME/elisp/isa-site.el\"" |
87 ARGS="$ARGS -l $ISAMODE_HOME/elisp/isa-site.el" |
88 |
88 |
89 for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \ |
89 for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \ |
90 "$ISABELLE_HOME_USER/etc/isa-settings.el" |
90 "$ISABELLE_HOME_USER/etc/isa-settings.el" |
91 do |
91 do |
92 [ -f "$FILE" ] && ARGS="$ARGS -l \"$FILE\"" |
92 [ -f "$FILE" ] && ARGS="$ARGS -l $FILE" |
93 done |
93 done |
94 |
94 |
95 ARGS="$ARGS -f isabelle" |
95 ARGS="$ARGS -f isabelle" |
96 exec $PROGNAME -T "Isabelle" $ARGS |
96 exec $PROGNAME -T "Isabelle" $ARGS |