Helm_registry.load_from "matita.conf.xml"; (* read conf *)
Http_getter.init ();
MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
- MatitaDb.clean_owner_environment ();
- MatitaDb.create_owner_environment ();
+(* MatitaDb.clean_owner_environment ();
+ MatitaDb.create_owner_environment (); *)
GtkMain.Rc.add_default_file BuildTimeConf.gtkrc_file; (* loads gtk rc *)
ignore (GMain.Main.init ());