aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine/uState.mli
Commit message (Expand)AuthorAge
* deprecate Pp.std_ppcmds type aliasGravatar Matej Košík2017-07-27
* Univs: fix bug #5365, generation of u+k <= v constraintsGravatar Matthieu Sozeau2017-06-05
* Adding a bit of documentation in the mli.Gravatar Pierre-Marie Pédrot2016-06-09
* Allowing to attach location to universes in UState.Gravatar Pierre-Marie Pédrot2016-02-19
* Fixing compilation of mli documentation.Gravatar Hugo Herbelin2015-12-05
* Remove unneeded fixpoint in normalize_context_set. Note that it is noGravatar Matthieu Sozeau2015-12-01
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-30
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-29
* Clarifying and documenting the UState API.Gravatar Pierre-Marie Pédrot2015-10-17
* Dedicated file for universe unification context manipulation.Gravatar Pierre-Marie Pédrot2015-10-17