Opened 14 years ago

Closed 14 years ago

#362 closed defect (fixed)

Proof Completed message for Coq is lost

Reported by: courtieu Owned by: David Aspinall
Priority: minor Milestone: PG-Emacs-4.0
Component: 2:pg-emacs Keywords:
Cc:

Description

This is misleading because people think the proof is not finished. (the message "Proof Completed" in response buffer is hard to notice).

Change History (1)

comment:1 Changed 14 years ago by David Aspinall

Resolution: → fixed
Status: new → closed

Fixed already

Note: See TracTickets for help on using tickets.