18th September 2016:

Proof General version 4.4 has been released. You can download it out here

This is the first release since PG has moved to GitHub. Many thanks to all the contributors who tested, reported bugs and made improvements.