> 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 in Scotland, with registration number SC005336. _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel