Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
extra check of PROOFGENERAL_HOME;
authorwenzelm
Mon, 06 Oct 2008 22:35:03 +0200
changeset 28509 0ef08aa52f2e
parent 28508 e8197ea2703b
child 28510 66b95e857bde
extra check of PROOFGENERAL_HOME;
lib/Tools/emacs file | annotate | diff | comparison | revisions 
--- 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\""
isabelle