From db6904e6ede82c75e4b6189155d8260d0016377c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 30 Sep 2005 16:43:40 +0000
Subject: Updated

---
 CHANGES | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/CHANGES b/CHANGES
index 3d655a04..bf9f8698 100644
--- a/CHANGES
+++ b/CHANGES
@@ -17,15 +17,20 @@ interface wrapper.
 
 Several fixes.  Also, removed support for Coq 6, 7.
 
-*** Support for forthcoming Isabelle versions
+*** Support for Isabelle2005.  
+
+Additional menu functions and PGIP support for settings configuration
+controlled by Isabelle.   
+
+Isabelle2004 should still be functional with this version of Proof
+General.  Support for Isabelle 2003 has been removed.
 
-Menu function to display and print drafts of buffer contents.
-Support latest PGIP version inside Isabelle for settings
-configuration.
 
 *** Miscellaneous fixes
 
-Patches from Stefan Monnier.
+Including patches from Stefan Monnier.
+
+
 
 
 * Summary of Changes for Proof General 3.5 from 3.4
-- 
cgit v1.2.3