lib/scripts/isa-emacs
author wenzelm
Wed, 04 Dec 1996 12:30:49 +0100
changeset 2306 0aadfaf8557a
parent 2305 35f78d6c4faa
child 2312 65ea8bbb4e02
permissions -rwxr-xr-x
ucat - uninterruptible cat NOTE: If perl is unavailable we simply fall back on normal cat!

#!/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"