Hi,

proof-done-advancing-require-function and
proof-shell-require-command-regexp seem to have only been used
for coq and they are no longer needed. IMHO it makes sense to
delete them. If this is general consensus I would develop a patch
and post it here for review.

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