From 15b93f29e7fa3a659c123dc86e283dae1bf8584e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Nov 1999 15:29:16 +0000
Subject: Junk proof-xsym-toggle-hook

---
 etc/junk.el | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/etc/junk.el b/etc/junk.el
index dadf1bb6..1ca27608 100644
--- a/etc/junk.el
+++ b/etc/junk.el
@@ -138,3 +138,20 @@ We only strip specials from the annotations."
 ;  (if proof-response-buffer
 ;      (with-current-buffer proof-response-buffer
 ;	(proof-bury-buffer-after proof-goals-buffer))))
+
+
+
+;; This was added in proof-config.el.
+;; 
+;; Better strategy to be less zippy about adding hooks is this:
+;;
+;; 1. Only add a hook if it is needed in *generic* code
+;; 2. Only add a hook if it seems likely to be needed for different
+;;    provers, with different effects.
+;;
+;; This hook doesn't meet criteria!
+
+(defcustom proof-xsym-toggle-hook '(proof-x-symbol-toggle-clean-buffers)
+  "Hooks run when X-Symbol support is turned on or off."
+  :type 'string
+  :group 'proof-x-symbol)
-- 
cgit v1.2.3