lib/Tools/emacs
author wenzelm
Thu Apr 24 00:29:55 2014 +0200 (2014-04-24)
changeset 56686 2386d1a3ca8f
parent 34275 8f105e6a2b88
child 57414 fe1be2844fda
permissions -rwxr-xr-x
canonical list operations, as in ML;
avoid odd mutable data structures;
     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 #legacy settings
    25 export ISABELLE="$ISABELLE_PROCESS"
    26 export ISATOOL="$ISABELLE_TOOL"
    27 
    28 exec "$INTERFACE" "$@"