Timeline
May 3, 2016:
- 9:04 AM Ticket #513 (Splash screen disappears too quickly) created by
- Downloaded PG from github.com, ran "make", everything built nicely. …
- 9:00 AM Ticket #512 (test.coq target doesn't exist) closed by
- fixed: Target exists in 4.4pre on github, so closing.
May 2, 2016:
- 1:40 PM Ticket #512 (test.coq target doesn't exist) created by
- In the coq subdirectory of PG, there's a file coq-autotest.el. In that …
Apr 28, 2016:
- 2:16 PM Ticket #511 (new Coq command "From" supported by PG?) closed by
- invalid
- 1:56 PM Ticket #511 (new Coq command "From" supported by PG?) created by
- When trying to use the new Coq command "From" …
Mar 15, 2016:
- 12:02 AM Ticket #510 (coq-time-commands hangs on bullets with Coq-8.5) created by
- On Coq-8.5 if coq-time-commands is activated, PG hangs on bullets as …
Note: See TracTimeline
for information about the timeline view.
