X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FrenderingAttrs.mli;h=64323598bce880deccea26ad7c9f3a0f2b99557c;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=a9fc0badbc7cf86ef12c9b02a4e75426d1207429;hpb=08ecc780b3b0a4cac7ed72cf68c310e4eeffa2c1;p=helm.git

diff --git a/helm/ocaml/cic_notation/renderingAttrs.mli b/helm/ocaml/cic_notation/renderingAttrs.mli
index a9fc0badb..64323598b 100644
--- a/helm/ocaml/cic_notation/renderingAttrs.mli
+++ b/helm/ocaml/cic_notation/renderingAttrs.mli
@@ -29,6 +29,8 @@
 type xml_attribute = string option * string * string
 type markup = [ `MathML | `BoxML ]
 
+(** High-level attributes *)
+
 val keyword_attributes:                 (* let, match, in, ... *)
   markup -> xml_attribute list
 
@@ -47,3 +49,9 @@ val number_attributes:                  (* 1, 2, ... *)
 val object_keyword_attributes:          (* Body, Definition, ... *)
   markup -> xml_attribute list
 
+(** Low-level attributes *)
+
+val spacing_attributes: markup -> xml_attribute list
+val indent_attributes: markup -> xml_attribute list
+val small_skip_attributes: markup -> xml_attribute list
+