changeset 28251 | 679ce6137211 |
child 28509 | 0ef08aa52f2e |
--- /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" "$@"