X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationPres.mli;h=d7fcb9ea3b316949947dcae6d0f8d3e8f5c06e51;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;hp=3181ec0b8f5e1bb6caaeb9a94eca0fd19be5d102;hpb=256ea270b884864d0eddd1de66bae2a2cbc513ff;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationPres.mli b/helm/ocaml/cic_notation/cicNotationPres.mli
index 3181ec0b8..d7fcb9ea3 100644
--- a/helm/ocaml/cic_notation/cicNotationPres.mli
+++ b/helm/ocaml/cic_notation/cicNotationPres.mli
@@ -31,3 +31,9 @@ type markup = mathml_markup
 (** @param ids_to_uris mapping id -> uri for hyperlinking *)
 val render: (Cic.id, string) Hashtbl.t -> CicNotationPt.term -> markup
 
+val render_to_boxml:
+  (Cic.id, string) Hashtbl.t -> CicNotationPt.term -> Xml.token Stream.t
+
+(* val render_to_mathml:
+  (Cic.id, string) Hashtbl.t -> CicNotationPt.term -> mathml_markup *)
+