No problem for me.
P.

2011/2/14 Hendrik Tews <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
>
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to