X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent_pres%2FboxPp.mli;h=c4d6fd53b8d51150a757e5b29f37c094acf91617;hb=894d518aa760c9f816ddb0dc2b3fa88e1fe20a94;hp=291c59a2ae1439f3cb22e43efa6f66b71b6a87c0;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/content_pres/boxPp.mli b/matita/components/content_pres/boxPp.mli
index 291c59a2a..c4d6fd53b 100644
--- a/matita/components/content_pres/boxPp.mli
+++ b/matita/components/content_pres/boxPp.mli
@@ -23,21 +23,15 @@
  * http://helm.cs.unibo.it/
  *)
 
-  (**
+  (** 
    * @param map_unicode_to_tex if true converts multibye unicode sequences to
    *  TeX-like macros (when possible). Default: true
-   * @return rows list of rows *)
-val render_to_strings: 
-  map_unicode_to_tex:bool ->
-  (CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) -> 
-  int -> CicNotationPres.markup -> string list
-
-  (** helper function
-   * @param map_unicode_to_tex as above
-   * @return s, concatenation of the return value of render_to_strings above
-   * with newlines as separators *)
+   * @param size
+   * @returns hyperlinks and text
+   *)
 val render_to_string:
   map_unicode_to_tex:bool ->
   (CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) -> 
-  int -> CicNotationPres.markup -> string
+  int -> CicNotationPres.markup ->
+   (int * int * string) list * string