Import/web/www.xiaofrog.com/wiki/math/html.mli at 90de50ca04c71bdcf8dedabbd2eb97b4942a5777

Fork: 0

jryland / Import

Find file

Newer

Older

Import / web / www.xiaofrog.com / wiki / math / html.mli

John Ryland on 22 Dec 2020 187 bytes import old code from DELL-PC svn checkout from years ago

Raw Blame History

val render : Tex.t list -> string option
val html_render : Tex.t list -> string

type conservativeness_t = CONSERVATIVE | MODERATE | LIBERAL
val conservativeness : conservativeness_t ref