From 6c738c012cbadad206ed385f2cc0cddae02273f1 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 23 Sep 2000 14:30:49 +0000 Subject: Updated --- BUGS | 17 +++++++---------- 1 file changed, 7 insertions(+), 10 deletions(-) (limited to 'BUGS') diff --git a/BUGS b/BUGS index bc452e23..7c81a436 100644 --- a/BUGS +++ b/BUGS @@ -20,8 +20,9 @@ versions, and those which only apply to particular versions. It may be difficult or impossible to interrupt it, because Emacs doesn't get a chance to process the C-c C-c keypress or "Stop" button push (or anything else). In this situation, you will need to send an -interrupt to the (e.g.) Isabelle process from another shell. This -problem can happen with looping rewrite rules in the Isabelle +interrupt to the (e.g.) Isabelle process from another shell. If that +doesn't stop things, you can try 'kill -FPE '. +This problem can happen with looping rewrite rules in the Isabelle simplifier, when tracing rewriting. ** Do not use C-x C-v or C-x C-w on a script file in active scripting mode @@ -82,14 +83,10 @@ simplifier, when tracing rewriting. * Problems with particular Emacs versions -** FSF Emacs hangs when undoing first command in script. - -Noticed with Emacs 20.6.1. Seems to affect all provers. -Workaround: use C-c C-RET or C-c C-r instead. -Nasty workaround: (setq debug-on-quit t), hit "c" on each hang -to continue. -[ If FSF Emacs support in PG is important to you, please try - to debug this since we don't have resource to do it ourselves. ] +** Emacs menus: options not updated dynamically, positions erratic, etc. + +Also, proof assistant specific menus only appear in scripting buffer. +These are drawbacks with FSF Emacs menu support. ** XEmacs 21.1.9 on Win32 -- cgit v1.2.3