author | wenzelm |
Tue, 16 Sep 2008 17:18:41 +0200 | |
changeset 28251 | 679ce6137211 |
child 28509 | 0ef08aa52f2e |
permissions | -rwxr-xr-x |
#!/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" "$@"