From a256d592c6e23747f327c993d947964b807e4991 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Oct 2011 09:04:26 +0000
Subject: Update dates and versions

---
 COMPATIBILITY         | 7 ++++---
 README                | 2 +-
 coq/README            | 2 +-
 doc/PG-adapting.texi  | 2 +-
 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
diff --git a/README b/README
index e8e942ff..6bfa7d60 100644
--- a/README
+++ b/README
@@ -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.
diff --git a/coq/README b/coq/README
index 755c27cf..ab726433 100644
--- a/coq/README
+++ b/coq/README
@@ -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
-- 
cgit v1.2.3