From 5a9445562fe66eb78f7f1a0c3a75c569430c63ac Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 26 Sep 2006 11:22:08 +0000 Subject: [PATCH] * ocaml => components * initialization was missing --- matita/.ocamlinit | 41 +++++++++++++++++++++-------------------- 1 file changed, 21 insertions(+), 20 deletions(-) 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 -- 2.39.2