X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2F.ocamlinit;h=1585f71b2043f53d72b94eb070a77e5b447dfef9;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=90f43857085b7d7651b00e4a945fa60a97173792;hpb=e04169b2712f46b10e1923ff2fea5ebfd775c8dd;p=helm.git

diff --git a/helm/matita/.ocamlinit b/helm/matita/.ocamlinit
index 90f438570..1585f71b2 100644
--- a/helm/matita/.ocamlinit
+++ b/helm/matita/.ocamlinit
@@ -21,9 +21,24 @@
 #directory "../ocaml/xmldiff"
 
 (* custom printers *)
+let fppuri ppf uri =
+ let s = UriManager.string_of_uri uri in
+  Format.pp_print_string ppf s
+;;
+
 #install_printer CicMetaSubst.fppsubst;;
 #install_printer CicMetaSubst.fppterm;;
 #install_printer CicMetaSubst.fppmetasenv;;
+#install_printer fppuri;;
 
 (* utility functions *)
-let go = MatitacLib.go;;
+let go = MatitacLib.interactive_loop;;
+
+(* let's go! *)
+let _ = 
+ at_exit (fun () -> MatitacLib.clean_exit None);
+ if Array.length Sys.argv > 1 then
+   MatitacLib.main `TOPLEVEL
+ else
+   MatitacLib.go ()
+;;