Hi, I just came across proof-shell-pre-interrupt-hook. I can't find any location where this hook is run. Am I missing something?
Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel