X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent_pres%2FboxPp.mli;h=32e31e84858b0a6854d45dd950d84c9813e83ef5;hb=1083ac3b1acac5f1ac1fa40a9a417dd9d268dced;hp=c4d6fd53b8d51150a757e5b29f37c094acf91617;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/content_pres/boxPp.mli b/matitaB/components/content_pres/boxPp.mli
index c4d6fd53b..32e31e848 100644
--- a/matitaB/components/content_pres/boxPp.mli
+++ b/matitaB/components/content_pres/boxPp.mli
@@ -27,11 +27,11 @@
    * @param map_unicode_to_tex if true converts multibye unicode sequences to
    *  TeX-like macros (when possible). Default: true
    * @param size
-   * @returns hyperlinks and text
+   * @returns text
    *)
+
 val render_to_string:
   map_unicode_to_tex:bool ->
-  (CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) -> 
-  int -> CicNotationPres.markup ->
-   (int * int * string) list * string
+  (CicNotationPres.markup list -> CicNotationPres.markup) -> 
+  int -> CicNotationPres.markup -> string