diff options
-rw-r--r-- | CHANGES | 12 | ||||
-rw-r--r-- | etc/release-log.txt | 84 |
2 files changed, 11 insertions, 85 deletions
@@ -2,14 +2,15 @@ See also etc/release-log.txt for minor patches. -* Summary of Changes for Proof General 3.7 from 3.5 (via many 3.6preXXXX) +* Summary of Changes for Proof General 3.7 from 3.5 (via 3.6pre) ** Generic changes *** Fixes and additions, patches for recent (X)Emacs versions - Improved display of X-Symbol subscript/superscripts in GNU Emacs 22.1. -- Workarounds added for some bugs in XEmacs 21.5 beta (but GNU Emacs now preferred). +- 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 (GNU Emacs only) @@ -21,6 +22,8 @@ Use option -f 18 or -f 24 of the Isabelle interface wrapper. *** UTF-8 support for 8-bit clean provers +Support for Unicode-safe interaction modes has been added (i.e., +not using Unicode-prefix characters as special escape sequences). See proof-shell-unicode (default nil), or option -U of the Isabelle interface wrapper. @@ -126,6 +129,11 @@ Default is now 8.1 (if no coqtop is found the path). *** new "queries" menu +** Adapted error highlighting to x-symbol + +** Response windows shrinking to fit in three window mode + +** Outline mode cleaner diff --git a/etc/release-log.txt b/etc/release-log.txt index cbdcac50..54a026f7 100644 --- a/etc/release-log.txt +++ b/etc/release-log.txt @@ -1,83 +1 @@ -XX.YY.ZZ 3.6 Release 3-6 based on branch 9.0 - --------------------- - -18.04.04 3.5 Release 3-5 based on branch 8.0 - (repeated: 18.04.04 fixes to display handling - 21.04.04 modify CHANGES; Coq menu) - --------------------- - -29.08.02 3.4 Release 3-4 based on branch 7.0 - (repeated: RPM fixes; Isabelle binary search; CHANGES; splash screen) - --------------------- - -09.09.01 3.3 Release 3-3 based on branch 6.0 - (repeated 10.9.01 to fix doc build) - --------------------- - -02.10.00 3.2 Release 3-2 based on branch 5.0 - --------------------- - -25.05.00 3.1.6 Release 3-1-6, from Release-3-1-branch - Button enablers are not used by default on XEmacs/Solaris. - When button enablers disabled, don't use itimer or after-change hook. - -09.05.00 3.1.5 Release 3-1-5, from Release-3-1-branch - Improved proof-find-theorems-command for Isabelle - (allow multiple constants separated by commas). - -28.04.00 3.1.4 Release 3-1-4, from Release-3-1-branch - Applied patch sent by Mike Squire, fix accident in previous fix. - (Isabelle theory retraction file paths) - -04.04.00 3.1.3 Release 3-1-3 - Fixed two problems with Isabelle theory loader interface - (first introduced accidently in 3.1, second a bug/issue in Isabelle) - Markus's continuing Isar syntax patches. - Updated some copyright notices. - -24.03.00 3.1.2 Release 3-1-2 - Small improvement to HOL support. - -24.03.00 3.1.1 Release 3-1-1 - Added more fixes for Isabelle and Windows. - Fixes for Windows, using proper colours, etc. - Markus's Isar syntax patches. - -23.03.00 3.1 Release 3-1 - First version of 3.1 release - --------------------- - - -30.11.99 3.0.3 Release-3-0-3 - Full version now in version stamp. - -29.11.99 3.0.2 Release-3-0-2 - Added some more key-bindings and menu entries to - Isabelle's theory file mode. - -26.11.99 3.0 Release 3-0 - First attempt at 3.0 release - - 3.0.1 Release-3-0-1 - Fixed problem with proof-shell-proof-completed-regexp - in Isabelle. - - --------------------- - - -25.8.99 2.1.3 Release-2-1-3 - Fixed RPM package to include isar/ - -24.8.99 2.1.2 Release-2-1-2 - Official release Proof General 2.1 - -23.8.99 2.1.1 Release-2-1-1 - First release of Proof General version 2.1. - Missing Isar and with broken version stamp (2.1pre990820) +22.01.08 3.7 Release 3-7 based on branch 9.0 |