From cfad3344c731dc1fa682fa6e01dec53573c5de1d Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 27 Jul 2005 07:52:47 +0000 Subject: [PATCH] added low level rendering attributes (indent, spacing, ...) --- helm/ocaml/cic_notation/renderingAttrs.ml | 4 ++++ helm/ocaml/cic_notation/renderingAttrs.mli | 8 ++++++++ 2 files changed, 12 insertions(+) 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 + -- 2.39.2