> 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 ProofGeneralemail@example.com http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel