X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaGui.ml;h=94cb736b89d33982d02575aaf498834d7bd0854e;hb=6ff514ec3bdc39bd0afbdfb210290a670a20a60d;hp=f032831cbe2687c4638319f598407affd3e79883;hpb=61d5edd7f92c89bceae245453dead8cbd2a276b7;p=helm.git

diff --git a/matita/matitaGui.ml b/matita/matitaGui.ml
index f032831cb..94cb736b8 100644
--- a/matita/matitaGui.ml
+++ b/matita/matitaGui.ml
@@ -1173,6 +1173,12 @@ class gui () =
       connect_menu_item main#saveMenuItem   saveScript;
       connect_menu_item main#saveAsMenuItem saveAsScript;
       connect_menu_item main#newMenuItem    newScript;
+      connect_menu_item main#showCoercionsGraphMenuItem 
+        (fun _ -> 
+          let c = MatitaMathView.cicBrowser () in
+          c#load (`About `Coercions));
+      connect_menu_item main#showAutoGuiMenuItem 
+        (fun _ -> MatitaAutoGui.auto_dialog Auto.get_auto_status);
          (* script monospace font stuff *)  
       self#updateFontSize ();
         (* debug menu *)