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.
