From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 26 Sep 2006 11:22:08 +0000 (+0000)
Subject: * ocaml => components
X-Git-Tag: 0.4.95@7852~997
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5a9445562fe66eb78f7f1a0c3a75c569430c63ac;p=helm.git

* ocaml => components
* initialization was missing
---

diff --git a/matita/.ocamlinit b/matita/.ocamlinit
index 1585f71b2..d936ad579 100644
--- 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