From 9d83ebfc4d9840f5e6634cac2145ed7d6a92d406 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 8 Mar 2000 05:39:45 +0000 Subject: Note about bug/fix with old Japan versions of CL macs. --- BUGS | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) (limited to 'BUGS') diff --git a/BUGS b/BUGS index 26a05e96..b43fab23 100644 --- a/BUGS +++ b/BUGS @@ -11,16 +11,13 @@ Proof General 3.0 BUGS addendum * FSF Emacs: problem with version 20.5: PG freezes when starting a proof assistant. Fixed in the current pre-release. +* Problems with Japan versions of FSF Emacs (at least) which have +older versions of CL macros (defined in file "egg"). Hopefully fixed +in current pre-release, please details of any problems! - -ProofGeneral 3.0 Original BUGS list -=================================== - - - Generic problems ================ @@ -34,9 +31,9 @@ this line to .emacs should help: information, 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 Isabelle process from another -shell. This problem can happen with looping rewrite rules in the -Isabelle simplifier, when tracing rewriting. +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 simplifier, when tracing rewriting. * Highlighting script buffers in recent versions of FSF Emacs is a mess. The underlying text property implementation has changed -- cgit v1.2.3