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 <[email protected]
<mailto:[email protected]>>
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
[email protected]
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.
