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))));
sequents_viewer#load_sequents status;
sequents_viewer#goto_sequent goal
| Proof proof ->
- prerr_endline "sequents_viewer#load_logo_with_qed (no proof)"; ()
+ sequents_viewer#load_logo_with_qed
| No_proof ->
- prerr_endline "sequents_viewer#load_logo (no proof)"; ()
+ sequents_viewer#load_logo
| Intermediate _ ->
assert false (* only the engine may be in this state *)
in