diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-03-23 13:39:51 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 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 |