type xml_attribute = string option * string * string
type markup = [ `MathML | `BoxML ]
+let color1 = "blue"
+(* let color2 = "red" *)
+let color2 = "blue"
+
let keyword_attributes = function
- | `MathML -> [ None, "mathcolor", "blue" ]
- | `BoxML -> [ None, "color", "blue" ]
+ | `MathML -> [ None, "mathcolor", color1 ]
+ | `BoxML -> [ None, "color", color1 ]
let builtin_symbol_attributes = function
- | `MathML -> [ None, "mathcolor", "blue" ]
- | `BoxML -> [ None, "color", "blue" ]
+ | `MathML -> [ None, "mathcolor", color1 ]
+ | `BoxML -> [ None, "color", color1 ]
let object_keyword_attributes = function
- | `MathML -> [ None, "mathcolor", "red" ]
- | `BoxML -> [ None, "color", "red" ]
+ | `MathML -> [ None, "mathcolor", color2 ]
+ | `BoxML -> [ None, "color", color2 ]
let symbol_attributes _ = []
let ident_attributes _ = []