X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FrenderingAttrs.ml;h=478ceff950e53d672996e91123c29eacdac7a864;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=fd2ddd24aa4747674d51ae71d2733d08a94c52bc;hpb=08ecc780b3b0a4cac7ed72cf68c310e4eeffa2c1;p=helm.git

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" ]
+