From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 27 Jul 2005 07:52:47 +0000 (+0000)
Subject: added low level rendering attributes (indent, spacing, ...)
X-Git-Tag: V_0_7_2~52
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cfad3344c731dc1fa682fa6e01dec53573c5de1d;p=helm.git

added low level rendering attributes (indent, spacing, ...)
---

diff --git a/helm/ocaml/cic_notation/renderingAttrs.ml b/helm/ocaml/cic_notation/renderingAttrs.ml
index fd2ddd24a..478ceff95 100644
--- a/helm/ocaml/cic_notation/renderingAttrs.ml
+++ b/helm/ocaml/cic_notation/renderingAttrs.ml
@@ -42,3 +42,7 @@ let symbol_attributes _ = []
 let ident_attributes _ = []
 let number_attributes _ = []
 
+let spacing_attributes _ = [ None, "spacing", "0.5em" ]
+let indent_attributes _ = [ None, "indent", "0.5em" ]
+let small_skip_attributes _ = [ None, "width", "0.5em" ]
+
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
+