---------- Forwarded message ---------- Date: Wed, 22 Jun 2011 11:39:39 +0100 From: David Aspinall <[email protected]> To: proofgeneral-devel <[email protected]> Subject: [PG-devel] 4.1RC2 available
Dear All, I've made a second release candidate for PG 4.1 which should fix recent Coq parsing issues. Could I persuade people to try it out, to iron out any final problems before release? See main download page, http://proofgeneral.inf.ed.ac.uk/download. Thanks a lot, - 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. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
