]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/logger/ui_logger.mli
split into two major parts:
[helm.git] / helm / ocaml / logger / ui_logger.mli
index c66a226357f45fa872735a9146f5eabd1784a94b..d64603a4bf07b14cbaa99a7ef903dd44cf90985c 100644 (file)
@@ -3,6 +3,7 @@ type html_tag = [ `BR | `L of html_tag list | `T of string ]
 type html_msg = [ `Error of html_tag | `Msg of html_tag ]
 
 val string_of_html_msg: html_msg -> string
+val html_of_html_msg: html_msg -> string
 
 class html_logger:
   ?width:int -> ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool ->