Fork: 0
jryland / Import
Transfer to URL with SHA Find file
Newer
Older
Import / web / www.xiaofrog.com / wiki / math / .svn / text-base / html.mli.svn-base
@John Ryland 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