From a5fef2b565a3849eb5c8238ec2f7b64587ba840e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 13 Feb 2005 19:13:13 +0000
Subject: Remove setting of x-symbol-language by C Raffalli.

---
 generic/proof-x-symbol.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index 3294b6a8..ace4ac64 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -192,7 +192,8 @@ in future if we have just activated it for this buffer."
 ;; and I think this is a good place ... may be a variable should control
 ;; an option to have x-symbol only in the output buffer but not in the script
 ;; buffer ?
-  (proof-x-symbol-set-language)
+;;  (proof-x-symbol-set-language)
+;; DA: this is done already I believe, PhoX used a funny startup perhaps.
 
   (x-symbol-mode)
   (proof-x-symbol-mode-associated-buffers))
-- 
cgit v1.2.3