diff options
| author | David Aspinall | 2008-01-29 00:27:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-29 00:27:06 +0000 |
| commit | df94039722f476d549a3c985f6c690092153ef6c (patch) | |
| tree | 14b29f617faf0189b59df8cd32985714144cf72a | |
| parent | 6d3fc7d620974b28a4afeb339027a0c4c5c20b64 (diff) | |
Comment location for tokens/maths menu.
| -rw-r--r-- | CHANGES | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |