(* math viewers *)
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 ->
- let uri = `NRef (NReference.reference_of_string uri) in
- (MatitaMathView.cicBrowser ())#load uri));
let browser_observer _ = MatitaMathView.refresh_all_browsers () in
let sequents_observer grafite_status =
sequents_viewer#reset;