Timeline



Sep 14, 2012:

4:52 PM Ticket #440 (User manual link on development page broken) closed by David Aspinall
fixed
4:51 PM WikiStart edited by David Aspinall
(diff)
4:51 PM WikiStart edited by David Aspinall
(diff)
4:46 PM Ticket #452 (Some Isabelle options enabled but not active) closed by David Aspinall
upstream: Confirmed, and thanks for reporting. But I believe this is a problem …
2:53 PM Ticket #453 (Sending too-large definitions gets stuck) closed by David Aspinall
upstream: Thanks for doing the detective work Hendrik! I'm closing this as …
2:33 PM Ticket #447 (Proof General stalls on long Ltac (Coq)) closed by David Aspinall
duplicate: See #453

Sep 12, 2012:

9:44 PM Ticket #453 (Sending too-large definitions gets stuck) created by coquser
With a sufficiently large definition, as attached, Proof General never …
1:35 PM Ticket #450 (Proof in proof tree) closed by coquser
fixed: Fixed by ignoring Lemma, Definition and others and requiring that …

Sep 11, 2012:

10:40 PM Ticket #442 (Emacs 24 and long inputs) closed by David Aspinall
duplicate: Seems not to be Emacs 24 specific. See #447, probably the same problem.

Sep 10, 2012:

11:00 AM Ticket #449 (coq electric terminator conflict) closed by courtieu
fixed: Fixed.
10:50 AM Ticket #445 (Proof General (or coqtop?) barfs on "Arguments foo / ...") closed by courtieu
worksforme: I can't reproduce this bug. This is working correctly with my cvs …
10:28 AM Ticket #296 (PG accepts garbage though Coq said "illegal begin of vernac") closed by courtieu
fixed: This has been solved a long time ago. I tested the Notations above and …

Sep 6, 2012:

3:29 PM Ticket #444 (three windows mode at pg start when a warning window) closed by courtieu
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 Generic Isabelle user
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 coquser
see subject
1:45 PM Ticket #450 (Proof in proof tree) created by coquser
With 8.4 Proof appears as command in the proof tree. Hendrik
1:44 PM Ticket #449 (coq electric terminator conflict) created by coquser
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 David Aspinall
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 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 …
Note: See TracTimeline for information about the timeline view.