Opened 16 years ago
Closed 16 years ago
#174 closed defect (fixed)
Unable to exit prover
Reported by: | Stefan Berghofer | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-3.7 |
Component: | 4:prover-isabelle | Keywords: | |
Cc: |
Description
When using ProofGeneral with XEmacs 21.4 and the CVS version of Isabelle, it is not possible to exit the prover by selecting the "Isabelle -> Exit Isabelle" menu item. Instead of terminating the prover, ProofGeneral just displays the message "Warning: buffer *isabelle* not killed; still associated with prover process.". This problem does not occur with XEmacs 21.5, though.
Note: See
TracTickets for help on using
tickets.
Fixed, I hope: backward compatibility patch for XEmacs 21.4 added to lib/proof-compat.el