Timeline



Jan 26, 2015:

11:37 PM Ticket #429 (Coq should support *trace* buffer for idtac output) reopened by coquser
Upstream have now fixed it in trunk: …

Jan 3, 2015:

3:34 PM Ticket #499 (delays between coq messages can cause PG to duplicate some) created by coquser
Long delays between messages issued from tactics can confuse PG into …
Note: See TracTimeline for information about the timeline view.