X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2F.ocamlinit;h=ba19e4e2df4fa6442cd3bddcd2474b21a14268ab;hb=3ea21b6d721c759876aa53385b421cb1412e11f5;hp=90f43857085b7d7651b00e4a945fa60a97173792;hpb=e04169b2712f46b10e1923ff2fea5ebfd775c8dd;p=helm.git

diff --git a/helm/matita/.ocamlinit b/helm/matita/.ocamlinit
index 90f438570..ba19e4e2d 100644
--- a/helm/matita/.ocamlinit
+++ b/helm/matita/.ocamlinit
@@ -27,3 +27,11 @@
 
 (* utility functions *)
 let go = MatitacLib.go;;
+
+(* let's go! *)
+let _ = 
+ if Array.length Sys.argv > 1 then
+   MatitacLib.main `TOPLEVEL
+ else
+   MatitacLib.go ()
+;;