> I just came across proof-shell-pre-interrupt-hook. I can't find
> any location where this hook is run. Am I missing something?
Likely obsolete but let me check some old versions:
http://proofgeneral.inf.ed.ac.uk/trac/ticket/457
--
The University of Edinburgh is a charitable body, registered
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