Add (bug 4871) Hardcoded superscript in time zone preferences moved to message which...
[lhc/web/wiklou.git] / math / html.mli
1 val render : Tex.t list -> string option
2 val html_render : Tex.t list -> string
3
4 type conservativeness_t = CONSERVATIVE | MODERATE | LIBERAL
5 val conservativeness : conservativeness_t ref