From c7ec2ce548cfb89f31cd9d03fb7c1071e6232b28 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 17 Apr 2004 18:51:51 +0000 Subject: Oops, remove junk. --- generic/proof-menu.el | 15 --------------- 1 file changed, 15 deletions(-) (limited to 'generic') diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 2cf26cf1..93c7f49b 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -516,21 +516,6 @@ without adjusting window layout." ;;; Define stuff from favourites -`substitute-command-keys' is a built-in function -(substitute-command-keys STRING) - -Documentation: -Substitute key descriptions for command names in STRING. -Return a new string which is STRING with substrings of the form \[COMMAND] -replaced by either: a keystroke sequence that will invoke COMMAND, -or "M-x COMMAND" if COMMAND is not on any keys. -Substrings of the form \{MAPVAR} are replaced by summaries -(made by `describe-bindings') of the value of MAPVAR, taken as a keymap. -Substrings of the form \ specify to use the value of MAPVAR -as the keymap for future \[COMMAND] substrings. -\= quotes the following character and is discarded; -thus, \=\= puts \= into the output, and \=\[ puts \[ into the output. - ;;;###autoload (defmacro proof-defshortcut (fn string &optional key) "Define shortcut function FN to insert STRING, optional keydef KEY. -- cgit v1.2.3