aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine/namegen.mli
Commit message (Expand)AuthorAge
* COMMENT: Namegen.next_ident_awayGravatar Matej Kosik2016-10-26
* Do not export an internal function in Namegen.Gravatar Pierre-Marie Pédrot2016-08-25
* Adding a bit of documentation in the mli.Gravatar Pierre-Marie Pédrot2016-06-09
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
* CLEANUP: kernel/context.ml{,i}Gravatar Matej Kosik2016-01-11
* Adding a new folder corresponding to the low-level part of the pretyperGravatar Pierre-Marie Pédrot2015-02-27