added (linked to matita) executable cicbrowser: when invoked it only shows

[helm.git] / helm / matita / matita.ml

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index e8c030b61cc3aeeb208ba95b67b9f1a57b965f67..6e57c2e8ffd7614eb280330a8aaa249ac2f198cd 100644 (file)
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -221,9 +221,17 @@ let _ =
 
 let _ =
 (*   CicEnvironment.set_trust (fun _ -> false); *)
+(*
   (try
     load_script Sys.argv.(1)
   with Invalid_argument _ -> ());
-  gui#console#show ();
+*)
+  if Pcre.pmatch ~pat:"cicbrowser$" Sys.argv.(0) then begin
+    ignore (MatitaMathView.cicBrowser ~disambiguator ~currentProof ())
+  end else begin
+    gui#main#mainWin#show ();
+    gui#toolbar#toolBarWin#show ();
+    gui#console#show ()
+  end;
   GtkThread.main ()