let _ =
Helm_registry.load_from "matita.conf.xml";
Http_getter.init ();
- MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner")
+ MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
+ MatitaDb.create_owner_environment ()
let main uri_to_remove = MatitacleanLib.clean_baseuris uri_to_remove