diff options
| -rw-r--r-- | CHANGES | 11 | ||||
| -rw-r--r-- | README | 4 | ||||
| -rw-r--r-- | doc/PG-adapting.texi | 2 | ||||
| -rw-r--r-- | doc/ProofGeneral.texi | 2 |
4 files changed, 15 insertions, 4 deletions
@@ -3,6 +3,17 @@ This is a summary of main changes. For details, please see the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. + + +* Changes of Proof General 4.2 from Proof General 4.1 + +** Generic/misc changes + +*** Compilation fixes for Emacs 24. + +*** Fix "pgshell" mode for shell/CLI prover interaction + + * Changes of Proof General 4.1 from Proof General 4.0 ** Generic changes @@ -4,8 +4,8 @@ Proof General is a generic Emacs interface for proof assistants. The aim of the Proof General project is to provide a powerful, generic environment for using interactive proof assistants. -This is version 4.1 of Proof General. See About for exact version. -It is built for Emacs 23.3. +This is version 4.2 (prerelease) of Proof General. See About for exact version. +It is built for Emacs 23.3. The code *may* also work with previous emacs versions, back as far as Emacs 22.3. But you will need to regenerated the byte-compiled files diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 8adefaea..7574e0f1 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -54,7 +54,7 @@ @c @ref{node} without "see". Careful for info. -@set version 4.1 +@set version 4.2pre @set emacsversion 23.3 @set last-update October 2011 @set rcsid $Id$ diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 0f9a5919..6f04c513 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -62,7 +62,7 @@ @c @ref{node} without "see". Careful for info. @c -@set version 4.1 +@set version 4.2pre @set emacsversion 23.3 @set last-update October 2011 @set rcsid $Id$ |