Timeline
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:
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). …
Note: See TracTimeline
for information about the timeline view.