Inductive expr :=
| expr_this : expr
| expr_identifier : string -> expr
| expr_literal : literal -> expr
| expr_object : list (propname * propbody) -> expr
| expr_function : option string -> list string -> funcbody -> expr
| expr_access : expr -> expr -> expr
| expr_member : expr -> string -> expr
| expr_new : expr -> list expr -> expr
| expr_call : expr -> list expr -> expr
| expr_unary_op : unary_op -> expr -> expr
| expr_binary_op : expr -> binary_op -> expr -> expr
| expr_conditional : expr -> expr -> expr -> expr
| expr_assign : expr -> option binary_op -> expr -> expr

#+END_SRC
I don't understand how things are supposed to be colorized, as there is
no mention in the html of span elements to put color on. For instance,
"Inductive" is a keyword, and in a coq buffer it has face
"font-lock-keyword-face". Shouldn't it have class "org-keyword" in the
generated html?
Thanks,
Alan