changeset 28509 | 0ef08aa52f2e |
parent 28251 | 679ce6137211 |
child 29143 | 72c960b2b83e |
--- a/lib/Tools/emacs Sun Oct 05 13:13:48 2008 +0200 +++ b/lib/Tools/emacs Mon Oct 06 22:35:03 2008 +0200 @@ -17,6 +17,8 @@ ## main +[ -z "$PROOFGENERAL_HOME" ] && fail "Missing Proof General installation (PROOFGENERAL_HOME)" + INTERFACE="$PROOFGENERAL_HOME/isar/interface" [ ! -x "$INTERFACE" ] && fail "Bad interface script: \"$INTERFACE\""