module UM = UriManager;;
module TA = GrafiteAst;;
-let _ =
- Helm_registry.load_from BuildTimeConf.matita_conf;
- CicNotation.load_notation BuildTimeConf.core_notation_script;
- Http_getter.init ();
- MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
- MatitaDb.create_owner_environment ()
+let _ = MatitaInit.initialize_all ()
let main uri_to_remove = MatitacleanLib.clean_baseuris uri_to_remove