]> scripts.mit.edu Git - autoinstalls/mediawiki.git/blob - math/texvc_tex.ml
scripts.mit.edu / autoinstalls / mediawiki.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
MediaWiki 1.16.2-scripts
[autoinstalls/mediawiki.git] / math / texvc_tex.ml
1 Texutil.set_encoding (try Sys.argv.(2) with _ -> "UTF-8");
2 try print_string (Util.mapjoin Texutil.render_tex (Parser.tex_expr Lexer.token (Lexing.from_string Sys.argv.(1))))
3 with _ -> ()
MediaWiki autoinstaller for scripts.mit.edu