diff options
author | 2004-03-23 13:39:51 +0000 | |
---|---|---|
committer | 2004-03-23 13:39:51 +0000 | |
commit | c92c918b9f77bd93c7ed9de2d65110ece3dc6e57 (patch) | |
tree | c1f31c598cd83046243dff69b15cfd22875f6789 /CHANGES | |
parent | 684b55cc433a5c0b180f7bdb73807b205162535b (diff) |
Updated.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -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 |