No problem for me. P. 2011/2/14 Hendrik Tews <[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 >
_______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
