diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-10-03 09:04:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-10-03 09:04:26 +0000 |
| commit | a256d592c6e23747f327c993d947964b807e4991 (patch) | |
| tree | 40f1d13ea719a2ab20ab6b706f2b85ebc64c5b1e | |
| parent | 1be73161636884185c01b470c24251cf9a37962e (diff) | |
Update dates and versions
| -rw-r--r-- | COMPATIBILITY | 7 | ||||
| -rw-r--r-- | README | 2 | ||||
| -rw-r--r-- | coq/README | 2 | ||||
| -rw-r--r-- | doc/PG-adapting.texi | 2 | ||||
| -rw-r--r-- | doc/ProofGeneral.texi | 2 |
5 files changed, 8 insertions, 7 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY index d0043af1..00847b5e 100644 --- a/COMPATIBILITY +++ b/COMPATIBILITY @@ -4,18 +4,19 @@ Compatibility of Proof General This version of Proof General has been tested with these Emacs versions on recent Linux systems: - Emacs 23.2 -- recommended and supported + Emacs 23.2,3 -- recommended and supported + Emacs 24 -- next version, should work Emacs 23.1 -- previous version, should work Emacs 22.X -- not supported, hack proof-utils.el to try out. -and (main) prover versions: Coq 8.3, Isabelle2009-2, Isabelle2011 +and (main) prover versions: Coq 8.3, Isabelle2011[-1] See below for notes about other operating systems. Maintaining compatibility across proof assistant versions, Emacs versions and operating systems is virtually impossible. -In the major 4.0 release ** XEmacs compatibility has been dropped ** +In the major 4.0 release ** XEmacs compatibility was dropped ** Running on Mac OS X @@ -45,4 +45,4 @@ For the latest news and downloads, visit Proof General on the web at: http://proofgeneral.inf.ed.ac.uk David Aspinall <da+pg-feedback@inf.ed.ac.uk> -June 2011. +October 2011. @@ -2,7 +2,7 @@ Coq Proof General Originally written by Healfdene Goguen. Later contributions by Patrick Loiseleur, Pierre Courtieu, - David Aspinall + David Aspinall, Stefan Monier, Hendrik Tews Status: supported Maintainer: Pierre Courtieu diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 0f8a1047..8adefaea 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -56,7 +56,7 @@ @set version 4.1 @set emacsversion 23.3 -@set last-update June 2011 +@set last-update October 2011 @set rcsid $Id$ @dircategory Theorem proving diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index c16c45d2..0f9a5919 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -64,7 +64,7 @@ @set version 4.1 @set emacsversion 23.3 -@set last-update June 2011 +@set last-update October 2011 @set rcsid $Id$ @dircategory Theorem proving |