X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaGtkMisc.mli;h=16b0591b2651a5a09856f5bdfad0c192c66d9c58;hb=f20a7c0ed9571dd5a4c16cbbcfc8474947fcb71c;hp=1affd2a39e78822d2449ef7abe087d57102b4717;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/matita/matitaGtkMisc.mli b/matita/matitaGtkMisc.mli
index 1affd2a39..16b0591b2 100644
--- a/matita/matitaGtkMisc.mli
+++ b/matita/matitaGtkMisc.mli
@@ -155,3 +155,11 @@ val report_error:
   unit ->
     unit
 
+    (* given an utf8 string a floc returns the parsed substring and its length
+     * in bytes *)
+val utf8_parsed_text: string -> Token.flocation -> string * int
+
+    (* the length in characters, not bytes *)
+val utf8_string_length: string -> int
+
+