diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-04-03 20:32:45 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-03 20:32:45 +0000 |
commit | 740e86abdcfa35c46e8b6004b9af0df186e1d089 (patch) | |
tree | 7f8c3125a13ea6b4b8691e049027afae9a87dab4 /doc | |
parent | 3f2ad6d2c096cacb0818eeae58d760e83cf5d300 (diff) |
Update version to 3.5
Diffstat (limited to 'doc')
-rw-r--r-- | doc/PG-adapting.texi | 2 | ||||
-rw-r--r-- | doc/ProofGeneral.texi | 14 |
2 files changed, 9 insertions, 7 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 74d316c9..55eaf6e2 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -61,7 +61,7 @@ @c @ref{node} without "see". Careful for info. -@set version 3.5pre +@set version 3.5 @set xemacsversion 21.4 @set fsfversion 21.3 @set last-update April 2004 diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 650536d2..31409da4 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -63,7 +63,7 @@ @c @ref{node} without "see". Careful for info. @c -@set version 3.5pre +@set version 3.5 @set xemacsversion 21.4 @set fsfversion 21.3 @set last-update April 2004 @@ -221,15 +221,17 @@ other documentation, system downloads, etc. @cindex news Proof General 3.5 is released to collect together a cummulative set of -improvements to Proof General 3.4. There are compatibility fixes, -particularly for GNU Emacs: credit is due to Stefan Monnier for an -intense period of debugging and patching. The options menu has been -simplified and extended, and improved display management. There are +improvements to Proof General 3.4. There are compatibility fixes for +newer Emacs versions, and particularly for GNU Emacs: credit is due to +Stefan Monnier for an intense period of debugging and patching. The +options menu has been simplified and extended, and the display +management is improved and repaired for Emacs API changes. There are some other usability improvements, prompted in part by feedback after Proof General's appearance at the TYPES 2002 Summer School. Compatible versions of the Emacs packages X-Symbol (for mathematical -symbols) and MMM Mode (for multiple modes in one buffer) are now bundled. +symbols) and MMM Mode (for multiple modes in one buffer) are now +bundled. Proof General 3.5 runs reliably as compiled Elisp code, and is available in RPM package format which includes desktop integration on |