I am also in favor of releasing this patch, as it doeas not seem ro break the users old configuration settings using coq-prog-args (does it?). No, as long as coq-compile-before-require is nil.
What do you think about -I ... -as ... ? Do people use it? Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list ProofGeneralfirstname.lastname@example.org http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel