From 0406469199a6f2a16b1cb213ecfe13f06f714aea Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 Nov 1999 18:55:54 +0000
Subject: Generic support for x-symbol tuned up.

---
 generic/proof.el | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'generic/proof.el')

diff --git a/generic/proof.el b/generic/proof.el
index 2f43540f..f768e731 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -78,9 +78,11 @@
 (autoload 'proof-x-symbol-decode-region "proof-x-symbol"
   "Call (x-symbol-decode-region START END), if x-symbol support is enabled.")
 
-(autoload 'proof-x-symbol-mode-all-buffers "proof-x-symbol"
+(autoload 'proof-x-symbol-shell-config "proof-x-symbol"
   "Activate/deactivate x-symbol in Proof General shell, goals, and response buffer.")
 
+(autoload 'proof-x-symbol-mode "proof-x-symbol"
+  "Turn on or off x-symbol mode in the current buffer.")
 
 ;;;
 ;;; Global variables
@@ -156,6 +158,12 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding
          (define-key map k f)))
    kbl))
 
+(defmacro proof-with-current-buffer-if-exists (buf &rest body)
+  "As with-current-buffer if BUF exists, otherwise nothing."
+  `(if (buffer-live-p ,buf)
+       (with-current-buffer ,buf
+	 ,@body)))
+
 ;; FIXME: this function should be combined with
 ;; proof-shell-maybe-erase-response-buffer.  Should allow
 ;; face of nil for unfontified output.
-- 
cgit v1.2.3