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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
_______________________________________________
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.
