diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 05:39:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 05:39:45 +0000 |
| commit | 9d83ebfc4d9840f5e6634cac2145ed7d6a92d406 (patch) | |
| tree | 5f6b59dab5475f72fa0d3c52d9be40f8f37bf90c /BUGS | |
| parent | 56611d3547bfe2c4e77e50cdd58fad0cbeab731e (diff) | |
Note about bug/fix with old Japan versions of CL macs.
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 15 |
1 files changed, 6 insertions, 9 deletions
@@ -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 |