MatitaDb.create_owner_environment ();
MatitamakeLib.initialize ();
GtkMain.Rc.add_default_file BuildTimeConf.gtkrc_file; (* loads gtk rc *)
+ prerr_endline BuildTimeConf.gtkmathview_conf;
+ GMathView.add_configuration_path BuildTimeConf.gtkmathview_conf;
ignore (GMain.Main.init ());
CicEnvironment.set_trust (* environment trust *)
(let trust = Helm_registry.get_bool "matita.environment_trust" in