toyvo / texmi
watch download tarball
public
Forks1Right
Watchers1Right
Description: a shell filter for embedding tex math in html, based on texvc
Homepage:
Clone URL: git://github.com/toyvo/texmi.git
texmi / texutil.mli
100644 12 lines (8 sloc) 0.274 kb
raw blame history 
1
2
3
4
5
6
7
8
9
10
11
12

val render_tex : Tex.t -> string
 
val set_encoding : string -> unit
val tex_use_nonascii: unit -> unit
val tex_use_ams: unit -> unit
 
val get_preface : unit -> string
val get_footer : unit -> string
 
exception Illegal_tex_function of string
val find: string -> Parser.token