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.
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.