X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita.ml;fp=matita%2Fmatita.ml;h=5df8656cdbb4cdbdffb930971c2ea4a0b19210ff;hb=a1c4c601850c71e094a4703af00f02ca2026d8ed;hp=a23558aa85e0ff83ca12707b4c732a4ba6db829c;hpb=c30b48dc423ef9c25473d7b5f211eac018f2f0fa;p=helm.git

diff --git a/matita/matita.ml b/matita/matita.ml
index a23558aa8..5df8656cd 100644
--- a/matita/matita.ml
+++ b/matita/matita.ml
@@ -258,6 +258,8 @@ let _ =
         ~doc:(HExtlib.unopt (mview ())#get_document) ~name:"matita.xml" ())); *)
     addDebugItem "load (sequent) MathML from matita.xml"
       (fun _ -> (mview ())#load_uri ~filename:"matita.xml");
+    addDebugItem "autoWin"
+    (fun _ -> MatitaAutoGui.auto_dialog Auto.get_auto_status);
   end
   (** Debugging }}} *)