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