X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaGtkMisc.mli;h=adea6961d1ee44896e29c8176809ab80bcb904aa;hb=1ed4fe0f28d3b0b915387330cd722bfb80fb1063;hp=e7d57265854244ed0d6ca549315c68a2a69d9760;hpb=558224e07a053eb99eaba1aed56c686056840dec;p=helm.git

diff --git a/helm/software/matita/matitaGtkMisc.mli b/helm/software/matita/matitaGtkMisc.mli
index e7d572658..adea6961d 100644
--- a/helm/software/matita/matitaGtkMisc.mli
+++ b/helm/software/matita/matitaGtkMisc.mli
@@ -150,3 +150,5 @@ val utf8_parsed_text: string -> Stdpp.location -> string * int
 
     (* the length in characters, not bytes *)
 val utf8_string_length: string -> int
+
+val escape_pango_markup: string -> string