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,

Thanks a lot,

 - David

ProofGeneral-devel mailing list

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

Reply via email to