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
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

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

Reply via email to