#!/bin/bash # # $Id$ # # Emacs / Isamode interface. # # 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"