diff options
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index f88ac91c..9e85b866 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -722,8 +722,6 @@ If a function, it should return the command string to insert." proof-find-theorems-command) (command "Issue Command" "Issue a non-scripting command" t) (interrupt "Interrupt Prover" "Interrupt the proof assistant (warning: may break synchronization)" t) - (show "Show Proofs" nil t) - (hide "Hide Proofs" nil t) (info nil "Show online proof assistant information" t proof-info-command) (help nil "Proof General manual" t)) |