Timeline
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: …
Apr 6, 2012:
- 8:23 AM Ticket #438 (Startup failure on Emacs 23) closed by
- wontfix: Yes, unfortunately it looks like the Emacs developers messed us around …
- 8:06 AM Ticket #437 (compilation error with LANG=C) closed by
- fixed: Fixed, thanks for the report.
Mar 25, 2012:
- 4:43 PM Ticket #438 (Startup failure on Emacs 23) created by
- PG fails to start up on Emacs 23 (Ubuntu 10.04 LTS), due to …
Feb 28, 2012:
- 3:50 PM Ticket #436 (Starting the coq process results in an error) closed by
- fixed: I was indeed using ProofGeneral version 4.1 (not a CVS version …
Feb 19, 2012:
- 1:56 PM Ticket #437 (compilation error with LANG=C) created by
- Hi, with setting LC_ALL=C LANG=C LANGUAGE=en_US:en …
Feb 13, 2012:
- 12:48 PM Ticket #436 (Starting the coq process results in an error) created by
- When starting the coq process, I get an error (wrong-type-argument …
Feb 7, 2012:
Jan 25, 2012:
- 8:01 PM Ticket #435 (wrong behaviour of the period) created by
- I wonder if there is an issue with the treatment of the colon? Below …
Note: See TracTimeline
for information about the timeline view.