if not (already_configured [ Db ] init_status) then
begin
MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
- MatitaDb.create_owner_environment ();
+ LibraryDb.create_owner_environment ();
Db::init_status
end
else
wants [ConfigurationFile] init_status;
if not (already_configured [Notation] init_status) then
begin
- CicNotation.load_notation BuildTimeConf.core_notation_script;
+ CicNotation2.load_notation BuildTimeConf.core_notation_script;
Notation::init_status
end
else