David Aspinall <david.aspin...@ed.ac.uk> writes:

   > 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?

Not that I know.

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

Reply via email to