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

diff --git a/helm/software/matita/matitaGtkMisc.mli b/helm/software/matita/matitaGtkMisc.mli
index 1affd2a39..16b0591b2 100644
--- a/helm/software/matita/matitaGtkMisc.mli
+++ b/helm/software/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
+
+