From bd014aea0aeeab48a91778c26b451076f7f414d6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 5 Feb 2003 23:06:12 +0000
Subject: Grumpy note

---
 CHANGES | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index c352fc13..2305618a 100644
--- a/CHANGES
+++ b/CHANGES
@@ -59,5 +59,10 @@ do not print multiple identical prompts for continued lines.
 Beginnings of support PGIP protocol (work in progress with Isabelle
 CVS version).  Presently allows Isabelle to configure Proof General.
 
-CURRENTLY SUPPORT FOR CURRENTLY RELEASED ISABELLE VERSIONS IS BROKEN
+CURRENTLY SUPPORT FOR CURRENTLY RELEASED ISABELLE VERSIONS IS BROKEN!
 
+Backward compatibility may not be maintained: it's simply too much
+effort.  This means that if you upgrade your Emacs version, which
+forces you to upgrade Proof General because Emacs upgrades usually
+break Proof General (Emacs authors pay little heed to maintaining
+APIs), then you may have to upgrade your Isabelle version as well.
-- 
cgit v1.2.3