]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/matitaGui.ml
fixed coercion graph print, moved coercion graph and auto gui to the view menu, added...
[helm.git] / matita / matitaGui.ml
index f032831cbe2687c4638319f598407affd3e79883..94cb736b89d33982d02575aaf498834d7bd0854e 100644 (file)
@@ -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 *)