Opened 11 years ago
#457 new task
Remove/invoke proof-shell-pre-interrupt-hook
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | PG-Emacs-4.3 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
Currently this setting is dead. Was used for experimental support in top levels which enter dialogue with user on interrupting computation. Maybe became unused when we moved to scomint.el
Note: See
TracTickets for help on using
tickets.