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