From d6bbe2b56f5a6e6a0ce9b01841378037252181f8 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 10 Aug 2001 12:57:53 +0000 Subject: Comment about win32 XEmacs --- BUGS | 16 ++-------------- 1 file changed, 2 insertions(+), 14 deletions(-) (limited to 'BUGS') diff --git a/BUGS b/BUGS index ec72973a..d148133a 100644 --- a/BUGS +++ b/BUGS @@ -25,18 +25,6 @@ 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 - - Proof General will lose track of the file. - Workaround: always turn off active scripting first with C-c C-s. - - Also there is a possibility (untested) of losing synchronization with - multiple files if you use these functions. To be safe, kill - the buffer first and use C-x C-f instead of C-x C-v, or kill - and then re-find after C-x C-w. - - [ FIXED, testing with 3.2 pre-releases. ] - ** Toolbar enablers for XEmacs 21, some artefacts. There is a timing issue, so that occasionally the buttons are @@ -101,8 +89,8 @@ mode) Some strange problems reading files with this version of Emacs. Gives spurious "end of internal input stream", or silently ignores parts of -files. Example is coq/coq.el which reads in fine on Linux. -[ Is my suspicioun of XEmacs correct? Any suggestions? ] +files. Example is coq/coq.el which reads in fine on Linux. +Solution: use a more recent version of XEmacs. ** If you have problems using Mule versions of FSF Emacs -- cgit v1.2.3