diff options
Diffstat (limited to 'ide/coqide.ml')
| -rw-r--r-- | ide/coqide.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 8697ca833..d4f47b15e 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -1132,7 +1132,6 @@ let build_ui () = qitem "About" (Some "<Ctrl><Shift>A"); qitem "Locate" (Some "<Ctrl><Shift>L"); qitem "Print Assumptions" (Some "<Ctrl><Shift>N"); - qitem "Show Proof" (Some "<Ctrl><Shift>R"); ]; user_queries_items queries_menu "Query" user_queries#get "<Ctrl><Shift>"; |