?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
strip out urlencoded \  (inserted for french spaces, e.g. first space in 'someth...
[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