X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Focaml%2Flogger%2FhelmLogger.mli;fp=helm%2Focaml%2Flogger%2FhelmLogger.mli;h=0000000000000000000000000000000000000000;hp=633b5c3eca5895aa3da30fbe2183ac1361b76875;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1

diff --git a/helm/ocaml/logger/helmLogger.mli b/helm/ocaml/logger/helmLogger.mli
deleted file mode 100644
index 633b5c3ec..000000000
--- a/helm/ocaml/logger/helmLogger.mli
+++ /dev/null
@@ -1,27 +0,0 @@
-
-type html_tag =
-  [ `BR
-  | `L of html_tag list
-  | `T of string
-  | `DIV of int * string option * html_tag  (* indentation, color, tag *)
-  ]
-type html_msg = [ `Error of html_tag | `Msg of html_tag ]
-
-  (** html_msg to plain text converter *)
-val string_of_html_msg: html_msg -> string
-
-  (** html_tag to plain text converter *)
-val string_of_html_tag: html_tag -> string
-
-  (** html_msg to html text converter *)
-val html_of_html_msg: html_msg -> string
-
-  (** html_tag to html text converter *)
-val html_of_html_tag: html_tag -> string
-
-type logger_fun = ?append_NL:bool -> html_msg -> unit
-
-val register_log_callback: logger_fun -> unit
-
-val log: logger_fun
-