| changeset 2600 | be48eff459e9 |
| parent 2474 | 9990f088d7ac |
| child 2939 | 73837efaf71b |
| 2599:652e202b7ddb | 2600:be48eff459e9 |
|---|---|
23 else |
23 else |
24 USER_SETTINGS="" |
24 USER_SETTINGS="" |
25 fi |
25 fi |
26 |
26 |
27 exec emacs -name "isabelle" \ |
27 exec emacs -name "isabelle" \ |
28 --no-init-file $ISABELLE_INTERFACE_OPTIONS \ |
28 --no-init-file "$@" \ |
29 --load "$ISAMODE_HOME/elisp/isa-site.el" \ |
29 --load "$ISAMODE_HOME/elisp/isa-site.el" \ |
30 $USER_SETTINGS \ |
30 $USER_SETTINGS \ |
31 --load $HOME/.emacs \ |
31 --load $HOME/.emacs \ |
32 --funcall isabelle |
32 --funcall isabelle |