Opened 16 years ago

Closed 16 years ago

#183 closed defect (fixed)

ProofGeneral crashes when displaying tracing messages

Reported by: Stefan Berghofer Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-3.7
Component: 4:prover-isabelle Keywords:
Cc:

Description

ProofGeneral crashes while trying to display tracing messages produced by the prover. The problem occurs with both XEmacs 21.4 and 21.5. To reproduce the bug, try

lemma "True"

apply (tactic {* print_tac "test" *})

Attachments (1)

my-trace3​ (2.8 KB) - added by Stefan Berghofer 16 years ago.
debugger output

Download all attachments as: .zip

Change History (2)

Changed 16 years ago by Stefan Berghofer

Attachment: my-trace3​ added

debugger output

comment:1 Changed 16 years ago by David Aspinall

Resolution: → fixed
Status: new → closed

Thanks for spotting this!

Fixed now, but see #190.

Note: See TracTickets for help on using tickets.