Dear PG-dev'ers,

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.

 - David
ProofGeneral-devel mailing list

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Reply via email to