> I just committed the first version of parallel background
> compilation for Coq. 

It sounds very useful!  Are there some Coq users who are testing for you?

 - David

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

ProofGeneral-devel mailing list

Reply via email to