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 [email protected] 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.
