let _ =
let cic_math_view = MatitaMathView.cicMathView_instance () in
let sequents_viewer = MatitaMathView.sequentsViewer_instance () in
+ sequents_viewer#load_logo;
cic_math_view#set_href_callback
(Some (fun uri -> (MatitaMathView.cicBrowser ())#load
(`Uri (UriManager.uri_of_string uri))));