?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
* integrating UniversalEditButton extension into core (enabled by default, set $wgUni...
[mediawiki.git] / math / html.mli
blob00b41cf4391b52e6b432e69963bdb21d6c678cac
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
MediaWiki Core