Timeline
Jan 26, 2015:
- 11:37 PM Ticket #429 (Coq should support *trace* buffer for idtac output) reopened by
- 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
- Long delays between messages issued from tactics can confuse PG into …
Note: See TracTimeline
for information about the timeline view.