Timeline
Apr 17, 2013:
- 10:57 AM Ticket #469 (coqgeneral 4.3pre130327 does not compile with Emacs 24.3) created by
- I have the following error at compile time: …
Apr 16, 2013:
- 1:08 PM Ticket #67 (Move to Java 6...) closed by
- fixed: Not an issue
- 1:07 PM Ticket #4 (Use stixfonts once they become available) closed by
- fixed: This has been possible for a while. See Sec 4.7 of user manual.
- 1:05 PM WikiStart edited by
- (diff)
- 1:04 PM WikiStart edited by
- (diff)
- 1:03 PM WikiStart edited by
- (diff)
Apr 15, 2013:
- 5:18 PM Ticket #459 (Can not split the window vertically) closed by
- 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
- […] 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
- 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
- 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
- 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
- (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
- (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
- The code Local Reserved Notation "'Ω'". Record foo := { …
Note: See TracTimeline
for information about the timeline view.