From f93bdeb21897a8ae6e47adbfba0f825c29abd312 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 Jan 2008 15:47:53 +0000
Subject: Remove unicode tokens from menu, this is experimental.

---
 generic/proof-menu.el | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 9ce34c69..39717c85 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -342,12 +342,12 @@ without adjusting window layout."
 ;;       :selected (and (boundp 'x-symbol-mode) x-symbol-mode
 ;; 		     x-symbol-use-unicode)]
 
-     ["Unicode Tokens" (proof-unicode-tokens-toggle 
-			(if unicode-tokens-mode 0 1))
-      :active (proof-unicode-tokens-support-available)
-      :style toggle
-      :selected (and (boundp 'unicode-tokens-mode) 
-		     unicode-tokens-mode)]
+;;      ["Unicode Tokens" (proof-unicode-tokens-toggle 
+;; 			(if unicode-tokens-mode 0 1))
+;;       :active (proof-unicode-tokens-support-available)
+;;       :style toggle
+;;       :selected (and (boundp 'unicode-tokens-mode) 
+;; 		     unicode-tokens-mode)]
 
      ["Unicode Maths Menu" (proof-maths-menu-toggle (if maths-menu-mode 0 1))
       :active (proof-maths-menu-support-available)
-- 
cgit v1.2.3