X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaGtkMisc.mli;h=adea6961d1ee44896e29c8176809ab80bcb904aa;hb=e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc;hp=03d89cd272f9265df49c1958900e9fc5f04f5629;hpb=691ab989638ff10484d96b3308b509fecd9ec1c3;p=helm.git

diff --git a/helm/software/matita/matitaGtkMisc.mli b/helm/software/matita/matitaGtkMisc.mli
index 03d89cd27..adea6961d 100644
--- a/helm/software/matita/matitaGtkMisc.mli
+++ b/helm/software/matita/matitaGtkMisc.mli
@@ -151,4 +151,4 @@ val utf8_parsed_text: string -> Stdpp.location -> string * int
     (* the length in characters, not bytes *)
 val utf8_string_length: string -> int
 
-val new_search_win: string -> string -> MatitaGeneratedGui.searchWin
+val escape_pango_markup: string -> string