# HG changeset patch
# User wenzelm
# Date 1221578321 -7200
# Node ID 679ce61372112d42463477d6c2afaefbe4cd33b3
# Parent  e2f5bf4994988fe03dfc62586d34fb90405ba013
Proof General / Emacs interface wrapper;

diff -r e2f5bf499498 -r 679ce6137211 lib/Tools/emacs
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/Tools/emacs	Tue Sep 16 17:18:41 2008 +0200
@@ -0,0 +1,23 @@
+#!/usr/bin/env bash
+#
+# $Id$
+# Author: Makarius
+#
+# DESCRIPTION: Proof General / Emacs interface wrapper
+
+
+## diagnostics
+
+function fail()
+{
+  echo "$1" >&2
+  exit 2
+}
+
+
+## main
+
+INTERFACE="$PROOFGENERAL_HOME/isar/interface"
+[ ! -x "$INTERFACE" ] && fail "Bad interface script: \"$INTERFACE\""
+
+exec "$INTERFACE" "$@"