Timeline
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 …
Oct 11, 2014:
- 10:16 PM Ticket #498 (coq-compile-before-require should allow non-source installations) created by
- The attached patch makes
coq-compile-before-require
accept modules …
Note: See TracTimeline
for information about the timeline view.