context: Cic.context ;
set_context : Cic.context -> unit >
(* output messages *)
- val output_html : string -> unit
+ val output_html : Ui_logger.html_msg -> unit
(* GUI refresh functions *)
val refresh_proof : unit -> unit
val refresh_goals : unit -> unit