Timeline



Aug 14, 2012:

11:50 AM Ticket #392 (Isabelle anti-quotation colouring obliterates symbol font setting) closed by David Aspinall
wontfix: Closing this as wontfix as seems unlikely anyone from Isabelle team …
11:49 AM Ticket #159 (Goal centering) closed by David Aspinall
wontfix: Closing this as it was reported 5 years ago, I'm not sure if it is …
11:47 AM Ticket #381 (Report Emacs bug/issue: slow process filter behaviour on non-Linux ...) closed by David Aspinall
wontfix: There's clear bug/issue to report upstream, so closing here for now.
11:41 AM Ticket #377 (Electric-terminator mode next line movement changed) closed by David Aspinall
fixed: User option proof-next-command-insert-space added which can be used …
4:37 AM Ticket #447 (Proof General stalls on long Ltac (Coq)) created by coquser
Proof general seems to stall when trying to evaluate very long …

Aug 10, 2012:

3:14 PM Ticket #443 (Retracting, editing, then re-evaluating/proving sometimes results in ...) closed by coquser
fixed: The error was introduced with commit "Fix for Trac #397. Needs some …

Aug 9, 2012:

12:43 PM Ticket #441 (make -C doc magic fails) closed by David Aspinall
fixed

Aug 6, 2012:

8:16 AM Ticket #446 (window-live-p error (coq, aquamacs)) created by coquser
When starting PG on a .v file, or when switching from one file to …

Jul 24, 2012:

5:32 PM Ticket #445 (Proof General (or coqtop?) barfs on "Arguments foo / ...") created by coquser
When I make a new file containing the two (literal) line Definition …

Jul 9, 2012:

2:39 PM Ticket #444 (three windows mode at pg start when a warning window) created by courtieu
To reproduce it: set the three-pane mode to true by setting the emacs …

Jul 2, 2012:

8:17 PM Ticket #443 (Retracting, editing, then re-evaluating/proving sometimes results in ...) created by coquser
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 David Aspinall
Hello, I tried proofgeneral on the newly released emacs and it works …

May 29, 2012:

3:56 PM Ticket #441 (make -C doc magic fails) created by coquser
... with […]
Note: See TracTimeline for information about the timeline view.