author | wenzelm |
Fri, 07 Feb 1997 17:15:30 +0100 | |
changeset 2600 | be48eff459e9 |
parent 2474 | 9990f088d7ac |
child 2939 | 73837efaf71b |
permissions | -rwxr-xr-x |
#!/bin/bash -norc # # $Id$ # # Emacs / Isamode interface. # # TODO: isabelle fonts ## diagnostics function fail() { echo "$1" >&2 exit 2 } ## main if [ -f "$ISABELLE_HOME_USER/etc/isa-settings.el" ]; then USER_SETTINGS="--load $ISABELLE_HOME_USER/etc/isa-settings.el" else USER_SETTINGS="" fi exec emacs -name "isabelle" \ --no-init-file "$@" \ --load "$ISAMODE_HOME/elisp/isa-site.el" \ $USER_SETTINGS \ --load $HOME/.emacs \ --funcall isabelle