X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fuwobo_logger.mli;h=2a1a6cd53890545d30dfc44805360c720a7c7dec;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=b05cdda08a8a1898d6f5c7c82cb0d838977d0f68;hpb=47b0c2c1b421b62302b1957954912b4c0dfba9fa;p=helm.git

diff --git a/helm/uwobo/uwobo_logger.mli b/helm/uwobo/uwobo_logger.mli
index b05cdda08..2a1a6cd53 100644
--- a/helm/uwobo/uwobo_logger.mli
+++ b/helm/uwobo/uwobo_logger.mli
@@ -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