diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-09-11 14:41:22 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-09-11 14:41:22 +0000 |
commit | 9a36bfb59f17268071974a266cce63cef9da0e4c (patch) | |
tree | 0bc319987fb6028f6711bdb100870a738db6a63d /BUGS | |
parent | fb6088160e599e8dd50578a9dba351dae0fc0de5 (diff) |
Updated.
Diffstat (limited to 'BUGS')
-rw-r--r-- | BUGS | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -86,7 +86,8 @@ to edit a file as it is being read by the proof assistant! Output colouration may spill into adjacent symbols when X-Symbol support is switched on. X-Symbol 4.X isn't yet finished, and will -only officially support Emacs from 21.4 onwards. +only officially support Emacs from 21.4 onwards. It may work with +Isabelle for Emacs 21.X but please don't try it with other provers. ** Emacs menus: options not updated dynamically, positions erratic, etc. |