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 […]

May 9, 2012:

8:45 AM Ticket #440 (User manual link on development page broken) created by coquser
Hi, on the development page (http://proofgeneral.inf.ed.ac.uk/devel) …
Note: See TracTimeline for information about the timeline view.