> 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:
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
ProofGeneral-devel mailing list