From 6cc27d2ca57a5d2fedfa52d8b44c37c60ccb6988 Mon Sep 17 00:00:00 2001
From: Cyprien Mangin <cyprien.mangin@m4x.org>
Date: Fri, 19 Jun 2015 12:53:51 +0200
Subject: Add a [Show Proof.] query to CoqIDE.

---
 ide/coqide_ui.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide/coqide_ui.ml')

diff --git a/ide/coqide_ui.ml b/ide/coqide_ui.ml
index edfe28b26..65735240a 100644
--- a/ide/coqide_ui.ml
+++ b/ide/coqide_ui.ml
@@ -119,6 +119,7 @@ let init () =
     <menuitem action='About' />
     <menuitem action='Locate' />
     <menuitem action='Print Assumptions' />
+    <menuitem action='Show Proof' />
   </menu>
   <menu name='Tools' action='Tools'>
     <menuitem action='Comment' />
-- 
cgit v1.2.3