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 mailto:t...@os.inf.tu-dresden.de>>
Hi,
if no
No problem for me.
P.
2011/2/14 Hendrik Tews
> 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
> __