X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fsyntax_extensions%2Futf8Macro.mli;h=3eab22e773c6d429cbd748821241dced76d2674c;hb=7288b45eacf9f7dcd118b3b89b81ff19ae9d6ce5;hp=d92f60b373ac3f8053e7419708a3cb9b53840b52;hpb=58955ec841575330f0b429033264f9ec7df319f9;p=helm.git

diff --git a/helm/software/components/syntax_extensions/utf8Macro.mli b/helm/software/components/syntax_extensions/utf8Macro.mli
index d92f60b37..3eab22e77 100644
--- a/helm/software/components/syntax_extensions/utf8Macro.mli
+++ b/helm/software/components/syntax_extensions/utf8Macro.mli
@@ -36,5 +36,6 @@ val expand: string -> string
 val unicode_of_tex: string -> string
 
   (** ... the other way round *)
-val tex_of_unicode: string -> string
+val tex_of_unicode: string -> string list
 
+val pp_table: unit -> (string * (string list)) list