Hi Hendrik

Thanks for the nudge --- no blockers I don't think, except extreme overwork, 8-). I'll try to push the button soon, just need a spare hour to run checks and update all the pieces. Apologies for the delay.


 - David

On 17/10/12 15:25, Hendrik Tews wrote:
Hi,

David, is there anything left to do before you can do "make
release"? Maybe I or somebody else could help?

(My Coq project is now so large that the sequential blocking
compilation really sucks. I would really like to start now with
rewriting the compilation with parallel background jobs.)

Bye,

Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel


_______________________________________________
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