From eb1584e90cfeef792ec080828685970f7dc8c2b6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 14 Feb 2006 16:22:32 +0000
Subject: Note

---
 README-3.6pre | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README-3.6pre b/README-3.6pre
index aa305cc7..1316ee3e 100644
--- a/README-3.6pre
+++ b/README-3.6pre
@@ -2,7 +2,9 @@ This is a pre-release of version 3.6 of Proof General.
 
 There are improvements to Coq support, minor improvements to
 documentation, and some improvements for Isabelle, in particular to
-support additional features in the current CVS version of Isabelle.
+support additional features in Isabelle 2005.
+
+Compatibility has been improved for more Emacs versions.
 
 =============
 
-- 
cgit v1.2.3