]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/uwobo_logger.mli
ocaml 3.09 transition
[helm.git] / helm / uwobo / uwobo_logger.mli
index b05cdda08a8a1898d6f5c7c82cb0d838977d0f68..2a1a6cd53890545d30dfc44805360c720a7c7dec 100644 (file)
@@ -61,6 +61,8 @@ class processingLogger:
   unit ->
     object
       method log: string -> unit
+      method logBold: string -> unit
+      method logEmph: string -> unit
       method asText: string
       method asHtml: string
     end