From 355812da79327ef7ccdf8948b0551d713dbbd297 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 Dec 2001 13:22:16 +0000
Subject: Note about Emacs 21 support and font lock.

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

diff --git a/CHANGES b/CHANGES
index a856d3a0..3265125e 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,5 +1,9 @@
 -*- outline -*-
 
+--- This is a development release of Proof General,   ---
+--- some features may be incomplete or buggy.  Please ---
+--- report any problems to da@dcs.ed.ac.uk, thanks.   ---
+
 * Summary of Changes for Proof General 3.4pre from 3.2
 
 ** Generic Changes
@@ -9,6 +13,10 @@
    Toolbar and splash screen supported  
     [seems good; please tell me of any problems] 
 
+   Fontification (as ever) is problematic due to changes
+   in font-lock, and its insiduous self-enabling actions.
+   Current status: broken in Emacs 20, working in 21.
+
 ** Isabelle Changes
 
    Isabelle/Isar syntax changes.
@@ -17,6 +25,8 @@
 
 
 
+
+
 -----------------------------------------------------------------
 
 
-- 
cgit v1.2.3