From df94039722f476d549a3c985f6c690092153ef6c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 29 Jan 2008 00:27:06 +0000
Subject: Comment location for tokens/maths menu.

---
 CHANGES | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index c0764e25..20bee464 100644
--- a/CHANGES
+++ b/CHANGES
@@ -19,7 +19,7 @@ See also etc/release-log.txt for minor patches.
 
 *** Input mechanisms for Unicode added  (GNU Emacs only)
 
-Maths menu (by Dave Love) added for inserting Unicode math characters.
+Maths Menu (by Dave Love) added for inserting Unicode math characters.
 
 Unicode Tokens mode is an experimental X-Symbol replacement, for
 displaying ASCII tokens as Unicode strings.  Much simpler than
@@ -27,6 +27,7 @@ X-Symbol, but requires a suitably rich Unicode font.  Adds an input
 mechanism for prompting token sequences and allowing shortcuts, and
 symbol rotation (next/previous glyph) on C-, and C-.  
 
+These are both available at Proof-General -> Options.
 
 *** UTF-8 support for 8-bit clean provers
 
-- 
cgit v1.2.3