X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Flogger%2Fui_logger.mli;fp=helm%2Focaml%2Flogger%2Fui_logger.mli;h=0000000000000000000000000000000000000000;hb=b6118150362700ed8f44b82cf6164d1c52c6d48f;hp=d64603a4bf07b14cbaa99a7ef903dd44cf90985c;hpb=90926d0f15211f458e3db188eb68fcb76c0bde46;p=helm.git

diff --git a/helm/ocaml/logger/ui_logger.mli b/helm/ocaml/logger/ui_logger.mli
deleted file mode 100644
index d64603a4b..000000000
--- a/helm/ocaml/logger/ui_logger.mli
+++ /dev/null
@@ -1,21 +0,0 @@
-
-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 *)
-
-          (** 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
-
-      end
-