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
ProofGeneral-devel@inf.ed.ac.uk
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.

Reply via email to