File: texvc_tex.ml

package info (click to toggle)
mediawiki-math 2%3A1.0%2Bgit20120528-6
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 528 kB
  • sloc: php: 3,925; ml: 1,344; xml: 136; makefile: 86; sql: 41; sh: 30
file content (3 lines) | stat: -rw-r--r-- 187 bytes parent folder | download | duplicates (8) 
1
2
3
 
Texutil.set_encoding (try Sys.argv.(2) with _ -> "UTF-8");
try print_string (Util.mapjoin Texutil.render_tex (Parser.tex_expr Lexer.token (Lexing.from_string Sys.argv.(1))))
with _ -> ()