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.
P.

2011/2/14 Hendrik Tews <t...@os.inf.tu-dresden.de
<mailto:t...@os.inf.tu-dresden.de>>

    Hi,

    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
    functionality.

    Bye,

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

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

Reply via email to