Nor me -- but notice that the CVS server has been having problems lately and is offline at the moment. I hope they will fixed it by tomorrow.

 - David

On 15/02/11 16:07, Pierre Courtieu wrote:
No problem for me.

2011/2/14 Hendrik Tews <


    if nobody disagrees I am going to delete the old multiple file
    handling code for coq. There was one worthwhile thing in it: the
    coq-auto-compile-vos option. I'll check how I can keep its


ProofGeneral-devel mailing list

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

Reply via email to