Timeline
Feb 14, 2015:
- 5:38 AM Ticket #501 (wrongly embedded pathname in ProofGeneral-4.3pre150202) created by
- 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
- 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
- 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.