author | wenzelm |
Tue, 03 Dec 1996 16:10:22 +0100 (1996-12-03) | |
changeset 2305 | 35f78d6c4faa |
parent 2304 | 618b545fe9c4 |
child 2306 | 0aadfaf8557a |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/lib/scripts/isa-emacs Tue Dec 03 16:10:22 1996 +0100 @@ -0,0 +1,21 @@ +#!/bin/bash +# +# Emacs / Isamode interface. +# +# $Id$ +# +# TODO: isabelle fonts + + +## diagnostics + +function fail() +{ + echo "$1" + exit 2 +} + + +## main + +exec emacs -name "isabelle" -l "$ISAMODE_HOME/elisp/isa-site.el" -l "$HOME/.emacs" -l "$ISAMODE_HOME/elisp/isa-start.el"