Timeline

View changes from
going back days
by author

Milestones completed Tickets opened and closed Ticket updates Repository changesets Wiki changes

May 3, 2016:

9:04 AM Ticket #513 (Splash screen disappears too quickly) created by coquser

Downloaded PG from github.com, ran "make", everything built nicely. …

9:00 AM Ticket #512 (test.coq target doesn't exist) closed by coquser

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 coquser

In the coq subdirectory of PG, there's a file coq-autotest.el. In that …