Change SML minor mode binding to C-c C-m, avoiding clash with

proof-interrupt-process.  Add commands from proof-universal-keys to
menu, and add all of proof-shared-menu.

0 files changed, 0 insertions, 0 deletions