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.
On 15/02/11 16:07, Pierre Courtieu wrote:
No problem for me.
2011/2/14 Hendrik Tews <t...@os.inf.tu-dresden.de
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.