From 9a36bfb59f17268071974a266cce63cef9da0e4c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 11 Sep 2002 14:41:22 +0000 Subject: Updated. --- BUGS | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'BUGS') diff --git a/BUGS b/BUGS index 47a9b2b1..4b2c6fc4 100644 --- a/BUGS +++ b/BUGS @@ -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. -- cgit v1.2.3