author | wenzelm |
Fri, 13 Dec 1996 17:50:04 +0100 | |
changeset 2390 | 4e183a4d9cd0 |
parent 2344 | c3e1eaea4418 |
child 2474 | 9990f088d7ac |
permissions | -rwxr-xr-x |
#!/bin/bash -norc # # $Id$ # # Emacs / Isamode interface. # # TODO: isabelle fonts ## diagnostics function fail() { echo "$1" >&2 exit 2 } ## main 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"