X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent_pres%2FcicNotationPres.mli;h=65507f05394b7ba3a0a933de6f96244eedde15c3;hb=b8a04566e67338e7e5375ff4175277704cd16432;hp=57e7ee84463ee565399346248e19d8e75db9726c;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/content_pres/cicNotationPres.mli b/matitaB/components/content_pres/cicNotationPres.mli
index 57e7ee844..65507f053 100644
--- a/matitaB/components/content_pres/cicNotationPres.mli
+++ b/matitaB/components/content_pres/cicNotationPres.mli
@@ -23,34 +23,15 @@
  * http://helm.cs.unibo.it/
  *)
 
-type mathml_markup = boxml_markup Mpresentation.mpres
-and boxml_markup = mathml_markup Box.box
 
-type markup = mathml_markup
+type markup = string Box.box
 
-(** {2 Markup conversions} *)
-
-val mpres_of_box: boxml_markup -> mathml_markup
-val box_of_mpres: mathml_markup -> boxml_markup
-
-(** {2 Rendering} *)
-
-(** level 1 -> level 0
- * @param ids_to_uris mapping id -> uri for hyperlinking
- * @param prec precedence level *)
 val render:
  #NCic.status ->
- lookup_uri:(Content.id -> string option) -> ?prec:int -> NotationPt.term ->
-  markup
-
-(** level 0 -> xml stream *)
-val print_xml: markup -> Xml.token Stream.t
-
-(* |+* level 1 -> xml stream
- * @param ids_to_uris +|
-val render_to_boxml:
-  (Cic.id, string) Hashtbl.t -> NotationPt.term -> Xml.token Stream.t *)
-
-val print_box:    boxml_markup -> Xml.token Stream.t
-val print_mpres:  mathml_markup -> Xml.token Stream.t
+ ?prec:int -> NotationPt.term ->
+   markup
 
+val render_sequent: 
+  #TermContentPres.status -> 
+  NotationPt.sequent ->
+    markup