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