diff -r 618b545fe9c4 -r 35f78d6c4faa lib/scripts/isa-emacs
--- /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"