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