Timeline



Feb 14, 2015:

5:38 AM Ticket #501 (wrongly embedded pathname in ProofGeneral-4.3pre150202) created by coquser
Aquamacs comes with emacs 24.4.51.2. Prooftree wants …

Feb 12, 2015:

11:21 AM Ticket #500 (Build fails, due to “'isar-markup-ml' is not known to be defined.” (PG ...) created by coquser
I’m on Mac OS 10.10.2 (Yosemite), trying to build Proof General 4.2, …

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.