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 ());
~copy_cb:(fun s -> gui#sourceView#buffer#insert ("\n"^s^"\n"))
() ~id:"boh?" uris
with MatitaTypes.Cancel -> [])
+ ~set_star:gui#setStar
()
(* math viewers *)