This morning I made the release of PG 4.1, almost a year after 4.0.
I plan to announce a little bit more widely later this week, please let
me know asap if there are any hiccups.
Meanwhile, a big Thank-You to all on this list who have contributed
improvements and bug reports and testing, I'm very grateful.
ProofGeneral-devel mailing list
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.