| author | wenzelm |
| Fri, 07 Feb 1997 17:15:30 +0100 | |
| changeset 2600 | be48eff459e9 |
| parent 2474 | 9990f088d7ac |
| child 2939 | 73837efaf71b |
| permissions | -rwxr-xr-x |
1 #!/bin/bash -norc
2 #
3 # $Id$
4 #
5 # Emacs / Isamode interface.
6 #
7 # TODO: isabelle fonts
10 ## diagnostics
12 function fail()
13 {
14 echo "$1" >&2
15 exit 2
16 }
19 ## main
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
27 exec emacs -name "isabelle" \
28 --no-init-file "$@" \
29 --load "$ISAMODE_HOME/elisp/isa-site.el" \
30 $USER_SETTINGS \
31 --load $HOME/.emacs \
32 --funcall isabelle