]> scripts.mit.edu Git - autoinstalls/mediawiki.git/blob - math/mathml.mli
scripts.mit.edu / autoinstalls / mediawiki.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
MediaWiki 1.17.4
[autoinstalls/mediawiki.git] / math / mathml.mli
1 val render : Tex.t list -> string option
MediaWiki autoinstaller for scripts.mit.edu