equal
deleted
inserted
replaced
16 } |
16 } |
17 |
17 |
18 |
18 |
19 ## main |
19 ## main |
20 |
20 |
21 exec emacs -name "isabelle" $ISABELLE_INTERFACE_OPTIONS -l "$ISAMODE_HOME/elisp/isa-site.el" -l "$ISABELLE_HOME_USER/etc/isa-settings.el" -l "$ISAMODE_HOME/elisp/isa-start.el" |
21 if [ -f "$ISABELLE_HOME_USER/etc/isa-settings.el" ]; then |
|
22 USER_SETTINGS="--load $ISABELLE_HOME_USER/etc/isa-settings.el" |
|
23 else |
|
24 USER_SETTINGS="" |
|
25 fi |
|
26 |
|
27 exec emacs -name "isabelle" \ |
|
28 --no-init-file $ISABELLE_INTERFACE_OPTIONS \ |
|
29 --load "$ISAMODE_HOME/elisp/isa-site.el" \ |
|
30 $USER_SETTINGS \ |
|
31 --load $HOME/.emacs \ |
|
32 --funcall isabelle |