lib/scripts/isa-emacs

added -norc option;
error output to stderr;

#!/bin/bash -norc
#
# $Id$
#
# Emacs / Isamode interface.
#
# TODO: isabelle fonts


## diagnostics

function fail()
{
  echo "$1" >&2
  exit 2
}


## main

exec emacs -name "isabelle" -l "$ISAMODE_HOME/elisp/isa-site.el" -l "$HOME/.emacs" -l "$ISAMODE_HOME/elisp/isa-start.el"