diff options
| author | David Aspinall | 2007-12-14 01:23:49 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-14 01:23:49 +0000 |
| commit | d661066d35b2d88cac117def78acf7afde567c19 (patch) | |
| tree | b610b183648c396f559ddfec6d3ce5472c087893 /CHANGES | |
| parent | 1f8b780b72b36b9ca4605453b9fe73bbc9dd4c23 (diff) | |
Updated.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -12,13 +12,12 @@ See also etc/release-log.txt for minor patches. - Workarounds added for some bugs in XEmacs 21.5 beta (but GNU Emacs now preferred). - Cropped icons to better match style of GNU Emacs/Gnome. - Context menu for spans: options to move spans up/down (risky!) and undo. -- Maths menu added for inserting Unicode math characters (originally by Dave Love) +- Maths menu added for inserting Unicode math characters (GNU Emacs only) - Many code cleanups from Stefan Monnier. - *** Large X-Symbol fonts added, courtesy of Clemens Ballarin -May use option -f 18 or -f 24 of the Isabelle interface wrapper. +Use option -f 18 or -f 24 of the Isabelle interface wrapper. *** UTF-8 support for 8-bit clean provers |