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,
Thanks a lot,
ProofGeneral-devel mailing list
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.