]> scripts.mit.edu Git - autoinstalls/mediawiki.git/blob - math/html.mli
scripts.mit.edu / autoinstalls / mediawiki.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
MediaWiki 1.15.1-scripts
[autoinstalls/mediawiki.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
MediaWiki autoinstaller for scripts.mit.edu