rc-1

[helm.git] / matita / .ocamlinit

diff --git a/matita/.ocamlinit b/matita/.ocamlinit
index 1585f71b2043f53d72b94eb070a77e5b447dfef9..d936ad579e0072d6f1a7ce3e95115e3dea0fa121 100644 (file)
--- a/matita/.ocamlinit
+++ b/matita/.ocamlinit
@@ -1,24 +1,24 @@
 (* 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"
+#directory "../components/cic"
+#directory "../components/cic_notation"
+#directory "../components/cic_omdoc"
+#directory "../components/cic_proof_checking"
+#directory "../components/cic_textual_parser2"
+#directory "../components/cic_transformations"
+#directory "../components/cic_unification"
+#directory "../components/getter"
+#directory "../components/hbugs"
+#directory "../components/mathql"
+#directory "../components/mathql_generator"
+#directory "../components/mathql_interpreter"
+#directory "../components/metadata"
+#directory "../components/paramodulation"
+#directory "../components/registry"
+#directory "../components/tactics"
+#directory "../components/thread"
+#directory "../components/urimanager"
+#directory "../components/xml"
+#directory "../components/xmldiff"
 
 (* custom printers *)
 let fppuri ppf uri =
@@ -37,6 +37,7 @@ let go = MatitacLib.interactive_loop;;
 (* let's go! *)
 let _ = 
  at_exit (fun () -> MatitacLib.clean_exit None);
+ MatitaInit.initialize_all () ;
  if Array.length Sys.argv > 1 then
    MatitacLib.main `TOPLEVEL
  else