Timeline
Sep 6, 2012:
- 3:29 PM Ticket #444 (three windows mode at pg start when a warning window) closed by
- fixed: Marked as fixed: - The three windows are not displayed before …
Sep 5, 2012:
- 3:20 PM Ticket #452 (Some Isabelle options enabled but not active) created by
- In PG 4.1 and 4.2pre120814 some options passed to the _running_ …
Sep 4, 2012:
- 1:52 PM Ticket #451 (support {} and bullets in prooftree) created by
- see subject
- 1:45 PM Ticket #450 (Proof in proof tree) created by
- With 8.4 Proof appears as command in the proof tree. Hendrik
- 1:44 PM Ticket #449 (coq electric terminator conflict) created by
- The new addition […] hides the generic default …
Sep 2, 2012:
- 10:42 PM Ticket #448 (Repair autotest load sequence so works in compiled and interpreted code) created by
- Test, both this: […] and this: […] should run the autotest for …
Aug 14, 2012:
- 11:50 AM Ticket #392 (Isabelle anti-quotation colouring obliterates symbol font setting) closed by
- wontfix: Closing this as wontfix as seems unlikely anyone from Isabelle team …
- 11:49 AM Ticket #159 (Goal centering) closed by
- 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
- 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
- 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
- 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
- fixed: The error was introduced with commit "Fix for Trac #397. Needs some …
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 …
Note: See TracTimeline
for information about the timeline view.