author | oheimb |
Mon, 16 Dec 1996 15:45:02 +0100 | |
changeset 2423 | 4550426cf8f7 |
parent 2390 | 4e183a4d9cd0 |
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"