X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationPres.ml;fp=helm%2Focaml%2Fcic_notation%2FcicNotationPres.ml;h=c3ea73f1c95491aec319a37aa880a8665ba53085;hb=ba2dfe6409e95bf9e558dc0d4be382b068671409;hp=83bb10878518d0e0eb7eeda8fb1e410e5516e722;hpb=7aa0e7901b71a660c6d6f55d96a38a3a9d1d3c7d;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationPres.ml b/helm/ocaml/cic_notation/cicNotationPres.ml
index 83bb10878..c3ea73f1c 100644
--- a/helm/ocaml/cic_notation/cicNotationPres.ml
+++ b/helm/ocaml/cic_notation/cicNotationPres.ml
@@ -31,6 +31,7 @@ type markup = mathml_markup
 let atop_attributes = [None, "linethickness", "0pt"]
 let binder_attributes = [None, "mathcolor", "blue"]
 let indent_attributes = [None, "indent", "1em"]
+let keyword_attributes = [None, "mathcolor", "blue"]
 
 let mpres_arrow = Mpresentation.Mo (binder_attributes, "->")
   (* TODO unicode symbol "to" *)
@@ -214,8 +215,8 @@ let render ids_to_uris =
   and aux_literal xref prec uris l =
     let attrs = make_href xref uris in
       match l with
-	| `Symbol s
-	| `Keyword s -> P.Mo (attrs, to_unicode s)
+	| `Symbol s -> P.Mo (attrs, to_unicode s)
+	| `Keyword s -> P.Mo (keyword_attributes @ attrs, to_unicode s)
 	| `Number s  -> P.Mn (attrs, to_unicode s)
   and aux_layout mathonly xref pos prec uris l =
     let attrs = make_xref xref in