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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
