From da704391bb08325770f1907f1c679cc51f6e837f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Nov 1999 18:04:52 +0000
Subject: Don't bother put extra modes on auto-mode-alist, rely on
 proof-x-symbol to do the job.

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

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index a0d3bf7d..d055474b 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -108,7 +108,10 @@ The package is available at http://www.fmi.uni-passau.de/~wedler/x-symbol"))
 	  (set symmodelinevar symmodelinenm)
 	  (x-symbol-register-language xs-lang xs-feature-sym all-xs-modes)
 	  ;; Put the extra modes on the auto-mode-alist
-	  (if xs-xtra-modes (push am-entry x-symbol-auto-mode-alist))
+	  ;; 3.0: don't bother: rashly assume that their mode
+	  ;; functions invoke proof-x-symbol.  That way we can
+	  ;; turn on/off cleanly in proof-x-symbol-mode-all-buffers.
+	  ;; (if xs-xtra-modes (push am-entry x-symbol-auto-mode-alist))
 	  ;; Font lock support is optional
 	  (if flks
 	      (put symmode 'font-lock-defaults (list flks)))
-- 
cgit v1.2.3