From c92c918b9f77bd93c7ed9de2d65110ece3dc6e57 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 23 Mar 2004 13:39:51 +0000
Subject: Updated.

---
 CHANGES | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/CHANGES b/CHANGES
index 6bb1beec..921a8a75 100644
--- a/CHANGES
+++ b/CHANGES
@@ -171,10 +171,6 @@ strings) and theorems (outside).
 
 *** Some GNU Emacs backwards compatibility removed: use 21.1 or later
 
-*** PROBLEMS REMAINING: Menu problems currently on 21.2, may affect loading.
-    Temp fix: turn on mode manually first in *scratch* buffer, then
-    visit file.
-
 ** Changes for Isabelle
 
 Beginnings of support PGIP protocol (work in progress with Isabelle
-- 
cgit v1.2.3