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
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to