cic_math_view#set_href_callback
(Some (fun uri -> (MatitaMathView.cicBrowser ())#load
(`Uri (UriManager.uri_of_string uri))));
cic_math_view#set_href_callback
(Some (fun uri -> (MatitaMathView.cicBrowser ())#load
(`Uri (UriManager.uri_of_string uri))));