From e455a8ee2204f141e0bc1f82939e90f9eeb10f8b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Nov 1999 17:35:27 +0000
Subject: Attempted x-symbol improvements

---
 generic/proof-x-symbol.el | 4 +++-
 generic/proof.el          | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index 0d15d18e..f2d612d7 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -187,7 +187,9 @@ A value for proof-shell-insert-hook."
 (defun proof-x-symbol-configure ()
   "Configure the current buffer for X-Symbol."
   (if proof-x-symbol-enable
-      (setq x-symbol-language proof-assistant-symbol)
+      (progn
+	(setq x-symbol-language proof-assistant-symbol)
+	(proof-x-symbol-decode-region (point-min) (point-max)))
     (setq x-symbol-language nil)))
 
 (defun proof-x-symbol-mode-all-buffers ()
diff --git a/generic/proof.el b/generic/proof.el
index 3348912e..21a8e6bc 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -225,7 +225,7 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding
 ;; Managing font-lock
 ;;
 
-;; Buffers which are output only are *not* kept in special minor
+;; Buffers which are output-only are *not* kept in special minor
 ;; modes font-lock-mode (or x-symbol-mode).  In case the user
 ;; doesn't want fontification we have a user option,
 ;; proof-fontify-output.
-- 
cgit v1.2.3