Opened 16 years ago
Closed 16 years ago
#164 closed defect (wontfix)
Error with GNU Emacs 21.4.1/C-c C-BS
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-3.7 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
I'm going through the "walkthrough example in Isabelle/Isar?" in section 2.1 of the user manual. When I come to the bit about backing up with C-c C-BS, emacs gives the error "wrong type argument: listp, #<overlay from 74 to 92 in Walkthrough.thy>". The same happens if I choose Undo Step or Delete Step from the menu.
Playing around further, if I get to the line "then obtain B and A .." and then press C-c C-RET, I get a similar error "error in process filter: Wrong type argument: listp #<overlay..>". After this, if I try to choose "Restart Scripting" from the menu, emacs hangs.
I tried this with both ProofGeneral 3.6 and 3.7 and Isabelle2005 under emacs 21.4.1. Any help would be greatly appreciated.
Change History (2)
comment:1 Changed 16 years ago by
Component: | 1:pg-eclipse → 2:pg-emacs |
---|
comment:2 Changed 16 years ago by
Resolution: | → wontfix |
---|---|
Status: | new → closed |
Thanks for this bug report. Unfortunately this version of Emacs has not been tested with Proof General and support has now moved to version 22.1.1, where this bug cannot be reproduced (using the current CVS version of Proof General).