summaryrefslogtreecommitdiff
path: root/math/texutil.mli
blob: 99d0e4ecaf56c89bbf53f136405c16b3930edae3 (plain)
1
2
3
4
5
6
7
8
9
10
11
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