aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2004-03-23 13:39:51 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2004-03-23 13:39:51 +0000
commitc92c918b9f77bd93c7ed9de2d65110ece3dc6e57 (patch)
treec1f31c598cd83046243dff69b15cfd22875f6789 /CHANGES
parent684b55cc433a5c0b180f7bdb73807b205162535b (diff)
Updated.
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES4
1 files changed, 0 insertions, 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