From 176b575ceb4f07d4a4384682cb762b4f88dd3f84 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 11 Dec 2006 22:34:39 +0000
Subject: Update, note about Isabelle 2004

---
 CHANGES | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index d9a7ee47..2998e361 100644
--- a/CHANGES
+++ b/CHANGES
@@ -42,8 +42,8 @@ Additional menu functions and PGIP support for settings configuration
 now controlled directly by Isabelle.  Support for Unicode-safe
 interaction (`proof-shell-unicode' variable).
 
-Isabelle2004 should still be functional with this version of Proof
-General.  Support for Isabelle 2003 has been removed.
+Support for Isabelle 2003 has been removed; results with Isabelle 2004
+are not guaranteed.  Code works with PolyML 5 versions of Isabelle.
 
 
 
-- 
cgit v1.2.3