X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FboxPp.mli;h=fe05e24d9e8af9da1bc5a22f14c82cb62d4e43ab;hb=883affb9b633393615ce3cb674834664c5b9c881;hp=6b7c3cec833a9bd4da3db1fd1ab563421d27f2ac;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/content_pres/boxPp.mli b/helm/software/components/content_pres/boxPp.mli
index 6b7c3cec8..fe05e24d9 100644
--- a/helm/software/components/content_pres/boxPp.mli
+++ b/helm/software/components/content_pres/boxPp.mli
@@ -24,10 +24,14 @@
  *)
 
   (** @return rows list of rows *)
-val render_to_strings:  int -> CicNotationPres.markup -> string list
+val render_to_strings: 
+  (CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) -> 
+  int -> CicNotationPres.markup -> string list
 
   (** helper function
    * @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:
+  (CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) -> 
+  int -> CicNotationPres.markup -> string