dépôts / lhc / web / wiklou.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Introduce 'mywatchlist' message; used on personal menu to link to watchlist page.
[lhc/web/wiklou.git] / math / html.mli
1 val render : Tex.t list -> string option
2 val html_render : Tex.t list -> string
3
4 type conservativeness_t = CONSERVATIVE | MODERATE | LIBERAL
5 val conservativeness : conservativeness_t ref
Wiklou, le Wiki du Wiklou