From 99144e61c6dc666ddbab17ebb9b90798b52c7631 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 Sep 2009 23:11:19 +0000
Subject: proof-kill-goal-command: default to nil, not empty string

---
 generic/proof-config.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index a4b9bb0f..41a5b5e9 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -648,7 +648,7 @@ will be attempted."
   :type '(choice function nil)
   :group 'proof-script)
 
-(defcustom proof-kill-goal-command ""
+(defcustom proof-kill-goal-command nil
   "Command to kill the currently open goal.
 
 If this is set to nil, PG will expect `proof-find-and-forget-fn'
@@ -1667,7 +1667,7 @@ Plastic uses it to remove literate-style markup from `string'."
 (defcustom proof-shell-handle-error-or-interrupt-hook
   '(proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window)
   "Run after an error or interrupt has been reported in the response buffer.
-Hook functions may inspect `proof-shell-error-or-interrupt-seen' to
+Hook functions may inspect `proof-shell-last-output-kind' to
 determine whether the cause was an error or interrupt.  Possible
 values for this hook include:
 
-- 
cgit v1.2.3