Oops, remove junk.

1 files changed, 0 insertions, 15 deletions

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 \<MAPVAR> 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.