X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flogger%2Fui_logger.mli;h=d64603a4bf07b14cbaa99a7ef903dd44cf90985c;hb=b38de2d3fa8bbe346c59c18bbeb889f29e493f63;hp=a289e370edf16aa9379910d99e00cf41b32bb728;hpb=05a96edc1a298d5a6d92919e0b68f0377604387f;p=helm.git

diff --git a/helm/ocaml/logger/ui_logger.mli b/helm/ocaml/logger/ui_logger.mli
index a289e370e..d64603a4b 100644
--- a/helm/ocaml/logger/ui_logger.mli
+++ b/helm/ocaml/logger/ui_logger.mli
@@ -2,18 +2,20 @@
 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 ->
-  unit ->
-  object
-      (* in all methods below "append_NL" defaults to true *)
+  ?width:int -> ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool ->
+    unit ->
+      object
+          (* in all methods below "append_NL" defaults to true *)
 
-      (** log an HTML like message, see minimal markup above *)
-    method log: ?append_NL:bool -> html_msg -> unit
+          (** log an HTML like message, see minimal markup above *)
+        method log: ?append_NL:bool -> html_msg -> unit
 
-      (** log a cic messages as degined in CicLogger *)
-    method log_cic_msg: ?append_NL:bool -> CicLogger.msg -> unit
+          (** log a cic messages as degined in CicLogger *)
+        method log_cic_msg: ?append_NL:bool -> CicLogger.msg -> unit
 
-  end
+      end