Timeline



May 15, 2013:

12:03 PM Ticket #472 (texi2pdf loads Proofgeneral.pdf as image) created by coquser
Hi, I don't know why this happens only now, but under certain …
9:05 AM Ticket #471 (ProofGeneral.jpg missing in ProofGeneral-4.3pre130510.tgz) created by coquser
Hi, with Proofgeneral.jpg missing, it is impossible to rebuild the …
8:17 AM Ticket #470 (texinfo 5.1 incompatibility) created by coquser
Hi, the \def\fontdefs line in ProofGeneral.texi and PG-adapting.texi …

May 10, 2013:

10:29 AM DeletingTicketSpam edited by David Aspinall
(diff)

May 9, 2013:

4:59 PM Ticket #469 (coqgeneral 4.3pre130327 does not compile with Emacs 24.3) closed by David Aspinall
duplicate: Thanks for reporting. This is a duplicate of #458. Suggest to use …

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