Disable Unicode Tokens 2

2 files changed, 23 insertions, 23 deletions

diff --git a/generic/proof-auxmodes.el b/generic/proof-auxmodes.el
index 809630bc..fab81023 100644
--- a/generic/proof-auxmodes.el
+++ b/generic/proof-auxmodes.el
@@ -79,18 +79,18 @@
 ;;
 ;; Unicode tokens 2 (temporary!)
 ;; 
-(defun proof-unicode-tokens2-support-available ()
-  "A test to see whether unicode tokens2 support is available."
-  (and
-   (or (featurep 'unicode-tokens2)
-       (proof-try-require 'unicode-tokens2))
-   ;; Requires prover-specific config in <foo>-unicode-tokens2.el
-   (proof-try-require (proof-ass-sym unicode-tokens2))))
-
-(proof-eval-when-ready-for-assistant
-    (if (and (proof-ass unicode-tokens2-enable)
-	     (proof-unicode-tokens2-support-available))
-	(proof-unicode-tokens2-set-global t)))
+;; (defun proof-unicode-tokens2-support-available ()
+;;   "A test to see whether unicode tokens2 support is available."
+;;   (and
+;;    (or (featurep 'unicode-tokens2)
+;;        (proof-try-require 'unicode-tokens2))
+;;    ;; Requires prover-specific config in <foo>-unicode-tokens2.el
+;;    (proof-try-require (proof-ass-sym unicode-tokens2))))
+
+;; (proof-eval-when-ready-for-assistant
+;;     (if (and (proof-ass unicode-tokens2-enable)
+;; 	     (proof-unicode-tokens2-support-available))
+;; 	(proof-unicode-tokens2-set-global t)))
 
 
 (provide 'proof-auxmodes)
diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 968098e0..70c0ecfc 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -278,8 +278,8 @@ without adjusting window layout."
    (proof-ass-sym x-symbol-enable) 'proof-x-symbol-toggle)
   (proof-deftoggle-fn 
    (proof-ass-sym unicode-tokens-enable) 'proof-unicode-tokens-toggle)
-  (proof-deftoggle-fn 
-   (proof-ass-sym unicode-tokens2-enable) 'proof-unicode-tokens2-toggle)
+;  (proof-deftoggle-fn 
+;   (proof-ass-sym unicode-tokens2-enable) 'proof-unicode-tokens2-toggle)
   (proof-deftoggle-fn 
    (proof-ass-sym maths-menu-enable) 'proof-maths-menu-toggle)
   (proof-deftoggle-fn (proof-ass-sym mmm-enable) 'proof-mmm-toggle))
@@ -334,15 +334,15 @@ without adjusting window layout."
       :selected (and (boundp 'unicode-tokens-mode) 
 		     unicode-tokens-mode)]
 
-     ["Unicode Tokens 2" 
-      (progn
-	(unless unicode-tokens2-mode (proof-x-symbol-toggle 0))
-	(proof-unicode-tokens2-toggle (if unicode-tokens2-mode 0 1)))
-      :active (and (not (and (boundp 'x-symbol-mode) x-symbol-mode))
-		   (proof-unicode-tokens2-support-available))
-      :style toggle
-      :selected (and (boundp 'unicode-tokens2-mode) 
-		     unicode-tokens2-mode)]
+;;;      ["Unicode Tokens 2" 
+;;;       (progn
+;;; 	(unless unicode-tokens2-mode (proof-x-symbol-toggle 0))
+;;; 	(proof-unicode-tokens2-toggle (if unicode-tokens2-mode 0 1)))
+;;;       :active (and (not (and (boundp 'x-symbol-mode) x-symbol-mode))
+;;; 		   (proof-unicode-tokens2-support-available))
+;;;       :style toggle
+;;;       :selected (and (boundp 'unicode-tokens2-mode) 
+;;; 		     unicode-tokens2-mode)]
 
      ["Unicode Maths Menu" (proof-maths-menu-toggle (if maths-menu-mode 0 1))
       :active (proof-maths-menu-support-available)