Timeline
Jul 2, 2012:
- 8:17 PM Ticket #443 (Retracting, editing, then re-evaluating/proving sometimes results in ...) created by
- I'm not sure whether this is a bug in Coq, or in Proof General. Given …
Jun 15, 2012:
- 12:37 PM Ticket #442 (Emacs 24 and long inputs) created by
- Hello, I tried proofgeneral on the newly released emacs and it works …
May 29, 2012:
May 9, 2012:
- 8:45 AM Ticket #440 (User manual link on development page broken) created by
- Hi, on the development page (http://proofgeneral.inf.ed.ac.uk/devel) …
Apr 29, 2012:
- 6:19 PM Ticket #439 (Hang on open bracket) closed by
- invalid: Sorry, this was due to an incompatibility with the third-party minor …
- 5:47 PM Ticket #439 (Hang on open bracket) created by
- In a Coq source file, type an open bracket (aka open parenthesis). …
Apr 18, 2012:
- 1:54 PM Ticket #402 (Clean up customization groups/settings) closed by
- wontfix: Doesn't seem worth fixing this (it would probably only clutter the …
- 1:35 PM Ticket #391 (proof-full-annotation causes instabilities) closed by
- invalid: Closing this as there is nothing that can be fixed in Proof General to …
- 1:19 PM Ticket #433 (unexpected cursor position after stepping through command with ...) closed by
- duplicate
- 1:16 PM Ticket #272 (Port identifier completion code from PG Eclipse.) closed by
- wontfix: Discarding unless someone else picks up. Let's leave the newer …
- 1:14 PM Ticket #225 (Allow Unicode Tokens to work smoothly for several modes at once) closed by
- wontfix: Discarding, Unicode Symbols is neat but let's leave AUCTeX for LaTeX.
- 1:08 PM Ticket #406 (auto compile bugs when some outputs is done by coqc) closed by
- upstream: Closing this. The link to the Debian bug discussion is here: …
Note: See TracTimeline
for information about the timeline view.
