X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fcontent_pres%2FboxPp.mli;h=291c59a2ae1439f3cb22e43efa6f66b71b6a87c0;hb=249d11773d32add20d665c4f8521b7380e4fec0a;hp=6b7c3cec833a9bd4da3db1fd1ab563421d27f2ac;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/content_pres/boxPp.mli b/components/content_pres/boxPp.mli
index 6b7c3cec8..291c59a2a 100644
--- a/components/content_pres/boxPp.mli
+++ b/components/content_pres/boxPp.mli
@@ -23,11 +23,21 @@
  * http://helm.cs.unibo.it/
  *)
 
-  (** @return rows list of rows *)
-val render_to_strings:  int -> CicNotationPres.markup -> string list
+  (**
+   * @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 *)
-val render_to_string:   int -> CicNotationPres.markup -> string
+val render_to_string:
+  map_unicode_to_tex:bool ->
+  (CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) -> 
+  int -> CicNotationPres.markup -> string