Hi, as David advised me, I just committed the coq-multiple-file-patch to cvs head. Compared to the patch from yesterday it fixes the following points: - error recovery works - coq-load-path is handled and recompilation works across different directories - can script comments
There is a todo list in coq/coq.el with points that I still want to address. Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
