lib/Tools/emacs
author wenzelm
Sat Jul 25 10:31:27 2009 +0200 (2009-07-25)
changeset 32187 cca43ca13f4f
parent 29143 72c960b2b83e
child 34275 8f105e6a2b88
permissions -rwxr-xr-x
renamed structure Display_Goal to Goal_Display;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: Proof General / Emacs interface wrapper
     6 
     7 
     8 ## diagnostics
     9 
    10 function fail()
    11 {
    12   echo "$1" >&2
    13   exit 2
    14 }
    15 
    16 
    17 ## main
    18 
    19 [ -z "$PROOFGENERAL_HOME" ] && fail "Missing Proof General installation (PROOFGENERAL_HOME)"
    20 
    21 INTERFACE="$PROOFGENERAL_HOME/isar/interface"
    22 [ ! -x "$INTERFACE" ] && fail "Bad interface script: \"$INTERFACE\""
    23 
    24 exec "$INTERFACE" "$@"