Timeline
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-requireaccept modules …
Oct 4, 2014:
- 2:55 PM Ticket #497 (coq auto-compile and spaces in directory names lead to failure) created by
- Proof general in emacs and with coq-compile-before-require set to t …
Sep 6, 2014:
- 8:32 PM Ticket #496 (Aquamacs point moving) created by
- When using Proof General for Coq in Aquamacs 3.0 (Emacs24.3.50.2), the …
- 8:58 AM Ticket #495 (Goals buffer aggressively cleared with Coq pre-8.5) closed by
- invalid
- 8:51 AM Ticket #495 (Goals buffer aggressively cleared with Coq pre-8.5) reopened by
- It happens in Coq with BackTo? as well.
- 8:47 AM Ticket #495 (Goals buffer aggressively cleared with Coq pre-8.5) closed by
- invalid: I've tracked down what is going on, and it looks like a Coq issue: …
Note: See TracTimeline
for information about the timeline view.
