Timeline



Apr 17, 2013:

10:57 AM Ticket #469 (coqgeneral 4.3pre130327 does not compile with Emacs 24.3) created by coquser
I have the following error at compile time: …

Apr 16, 2013:

1:08 PM Ticket #67 (Move to Java 6...) closed by David Aspinall
fixed: Not an issue
1:07 PM Ticket #4 (Use stixfonts once they become available) closed by David Aspinall
fixed: This has been possible for a while. See Sec 4.7 of user manual.
1:05 PM WikiStart edited by David Aspinall
(diff)
1:04 PM WikiStart edited by David Aspinall
(diff)
1:03 PM WikiStart edited by David Aspinall
(diff)

Apr 15, 2013:

5:18 PM Ticket #459 (Can not split the window vertically) closed by courtieu
wontfix: Hello, Is your emacs window wide enough? In the current version of …

Apr 10, 2013:

11:47 PM Ticket #468 (Some notations with periods make PG hang) created by coquser
[…] Makes PG hang if I try to evaluate to after the 1.

Mar 27, 2013:

8:13 PM Ticket #467 (The "Time (tactic)." vernacular command no longer displays timings ...) created by coquser
It used to be the case (and still is the case in coqtop) that […] …

Mar 20, 2013:

3:36 PM Ticket #466 (parentheses in comments should not affect indentation level of ...) created by coquser
The second Require Import Eqdep. should not be indented so far. …

Mar 14, 2013:

6:40 AM Ticket #455 (Emacs trunk BZR sometimes hangs when using auto fill mode with PG Coq) closed by coquser
upstream: The problem boils down to the function smie-auto-fill in …

Feb 19, 2013:

2:35 PM Ticket #465 (proof script not displayed after startup) created by coquser
(I'm Dan Grayson <dan@…>) I'm adapting pg under emacs to …
2:31 PM Ticket #464 (proof script not displayed after startup) created by coquser
(I'm Dan Grayson <dan@…>) I'm adapting pg under emacs to …

Feb 13, 2013:

3:55 PM Ticket #463 (Warning messages suppress error messages and make PG have incorrect ...) created by coquser
The code Local Reserved Notation "'Ω'". Record foo := { …

Jan 28, 2013:

10:43 AM Ticket #461 (old manuals on website) closed by David Aspinall
fixed: Fixed, thanks -- I needed to manually update links to latest release …
10:37 AM Ticket #462 (Improve library bundling) created by David Aspinall
(Jonas Bernoulli sent me the following message - David) The …
Note: See TracTimeline for information about the timeline view.