Simplified rendering

[helm.git] / matitaB / components / content_pres / boxPp.mli

diff --git a/matitaB/components/content_pres/boxPp.mli b/matitaB/components/content_pres/boxPp.mli
index c4d6fd53b8d51150a757e5b29f37c094acf91617..32e31e84858b0a6854d45dd950d84c9813e83ef5 100644 (file)
--- 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