* the transformations have been ported so to generate BoxML + MathML

[helm.git] / helm / ocaml / cic_transformations / cexpr2pres_hashtbl.mli

diff --git a/helm/ocaml/cic_transformations/cexpr2pres_hashtbl.mli b/helm/ocaml/cic_transformations/cexpr2pres_hashtbl.mli
index e6202582e9e424f24154faba776e97f6d7ff1364..61c3519634ef4cfbbe2605b96c5b5b2e6ab5b243 100644 (file)
--- a/helm/ocaml/cic_transformations/cexpr2pres_hashtbl.mli
+++ b/helm/ocaml/cic_transformations/cexpr2pres_hashtbl.mli
@@ -36,14 +36,14 @@ val init:
  cexpr2pres: 
   (?priority:int ->
    ?assoc:bool ->
-   ?tail:Mpresentation.mpres list ->
+   ?tail:string list ->
    Content_expressions.cexpr -> 
    Mpresentation.mpres) ->
  cexpr2pres_charcount: 
   (?priority:int ->
    ?assoc:bool ->
-   ?tail:Mpresentation.mpres list ->
+   ?tail:string list ->
    Content_expressions.cexpr -> 
-   Mpresentation.mpres) ->
+   Mpresentation.mpres Box.box) ->
  unit
 ;;