lib/scripts/isa-emacs
author wenzelm
Mon, 16 Dec 1996 10:29:30 +0100
changeset 2411 256dbda3df4f
parent 2390 4e183a4d9cd0
child 2474 9990f088d7ac
permissions -rwxr-xr-x
SML/NJ startup script (for 0.93).

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