update in binaries for λδ

[helm.git] / helm / software / matita / matitaGtkMisc.mli

diff --git a/helm/software/matita/matitaGtkMisc.mli b/helm/software/matita/matitaGtkMisc.mli
index e7d57265854244ed0d6ca549315c68a2a69d9760..adea6961d1ee44896e29c8176809ab80bcb904aa 100644 (file)
--- 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