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.

Change History (1)

comment:1 Changed 16 years ago by David Aspinall

Resolution: fixed
Status: newclosed

Fixed, I hope: backward compatibility patch for XEmacs 21.4 added to lib/proof-compat.el

Note: See TracTickets for help on using tickets.