Timeline
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: …
Aug 16, 2014:
- 6:08 AM Ticket #495 (Goals buffer aggressively cleared with Coq pre-8.5) created by
- I am using Proof General 4.3pre131011 with the current trunk version …
Jun 23, 2014:
- 1:29 PM Ticket #494 (PG incorrectly parses the result of [Fail] in some cases) created by
- In, e.g., the code […] coqtop -emacs returns […] which PG …
Note: See TracTimeline
for information about the timeline view.