Timeline
Aug 9, 2012:
Aug 6, 2012:
- 8:16 AM Ticket #446 (window-live-p error (coq, aquamacs)) created by
- 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
- 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
- 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
- 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:
Note: See TracTimeline
for information about the timeline view.