From 2daaa99733dab8a003b997986fb77ee237eb6b74 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 12 Dec 2007 00:01:21 +0000 Subject: Updated. --- CHANGES | 28 ++++++++++++++-------------- images/README | 8 +++++--- 2 files changed, 19 insertions(+), 17 deletions(-) diff --git a/CHANGES b/CHANGES index 59a6d144..9cfc8e16 100644 --- a/CHANGES +++ b/CHANGES @@ -8,10 +8,10 @@ See also etc/release-log.txt for minor patches. *** History mechanism for prover responses -Proof General will keep a history of the last 10 responses from the -prover in each of the buffers used to display messages. This is handy -for examining previous proof state outputs without actually issuing -undo/redo commands to the prover, for example. Of for browsing +Proof General keeps a history of the last 10 responses from the prover +in each of the buffers used to display messages. This is handy for +examining previous proof state outputs without actually issuing +undo/redo commands to the prover, for example. Or for browsing previous displays of theorems or rules. To use this, enable Proof General -> Options -> Response History @@ -34,23 +34,23 @@ interface wrapper. Spurious spaces are objectionable in source files. -*** Minor fixes and tweaks - -Including numerous improvements from Stefan Monnier. +*** Minor fixes, tweaks, 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). +Cropped icons to better match style of GNU Emacs/Gnome. +Many code cleanups from Stefan Monnier. ** Changes for Isabelle -*** Support for Isabelle2005 and later development snapshots of Isabelle 2007. +*** Support for Isabelle2005 and Isabelle2007. -Additional menu functions and PGIP support for settings configuration -now controlled directly by Isabelle. Support for Unicode-safe -interaction (`proof-shell-unicode' variable). +Menu functions now controlled directly by Isabelle. Support for +Unicode-safe interaction (`proof-shell-unicode' variable). -Support for Isabelle2003 has been removed; results with Isabelle2004 -are not guaranteed. Code now works with PolyML 5 versions of -Isabelle. +Support for Isabelle2003 removed; Isabelle2004 not guaranteed. +Code works with PolyML 5 versions of Isabelle. Optional search form for the "Find Theorems" command is available via C-c C-a C-f, the minibuffer interface is available via C-c C-a C-m. diff --git a/images/README b/images/README index a2498657..3394971e 100644 --- a/images/README +++ b/images/README @@ -2,8 +2,6 @@ $Id$ Icons for Proof General. -David Aspinall - The images in this directory were made with The Gimp and Inkscape. They were created in my spare time as a donation to the Proof General project. The images here are released under the Creative Commons @@ -12,11 +10,15 @@ license, see http://creativecommons.org/licenses/by-nc-sa/3.0/ The Inkscape-based search icon includes portions from Andrew Fitzsimon's Etiquette search icon (under CC 2.0). ----- +[ Inkscape-based icons forthcoming ] + Note for developers: the sources for images have been moved to the PG graphics repository. + David Aspinall + + -- cgit v1.2.3