X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2F.ocamlinit;fp=helm%2Fmatita%2F.ocamlinit;h=0000000000000000000000000000000000000000;hb=55b82bd235d82ff7f0a40d980effe1efde1f5073;hp=1585f71b2043f53d72b94eb070a77e5b447dfef9;hpb=771ee8b9d122fa963881c876e86f90531bb7434f;p=helm.git

diff --git a/helm/matita/.ocamlinit b/helm/matita/.ocamlinit
deleted file mode 100644
index 1585f71b2..000000000
--- a/helm/matita/.ocamlinit
+++ /dev/null
@@ -1,44 +0,0 @@
-(* directories *)
-#directory "../ocaml/cic"
-#directory "../ocaml/cic_notation"
-#directory "../ocaml/cic_omdoc"
-#directory "../ocaml/cic_proof_checking"
-#directory "../ocaml/cic_textual_parser2"
-#directory "../ocaml/cic_transformations"
-#directory "../ocaml/cic_unification"
-#directory "../ocaml/getter"
-#directory "../ocaml/hbugs"
-#directory "../ocaml/mathql"
-#directory "../ocaml/mathql_generator"
-#directory "../ocaml/mathql_interpreter"
-#directory "../ocaml/metadata"
-#directory "../ocaml/paramodulation"
-#directory "../ocaml/registry"
-#directory "../ocaml/tactics"
-#directory "../ocaml/thread"
-#directory "../ocaml/urimanager"
-#directory "../ocaml/xml"
-#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.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 ()
-;;