aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine/namegen.ml
Commit message (Expand)AuthorAge
* Actually exporting delayed universes in the EConstr implementation.Gravatar Pierre-Marie Pédrot2017-04-01
* Namegen primitives now apply on evar constrs.Gravatar Pierre-Marie Pédrot2017-02-14
* Reordering Termops w.r.t. Evd and Namegen in engine folder.Gravatar Pierre-Marie Pédrot2016-10-30
* CLEANUP: Namegen.to_avoidGravatar Matej Kosik2016-10-20
* CLEANUP: rename "Nameops.lift_subscript" to "Nameops.increment_subscript".Gravatar Matej Kosik2016-10-19
* CLEANUP: minor readability improvementsGravatar Matej Kosik2016-08-24
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-08-17
|\
| * Fixing printing in debugger (no global env in debugger).Gravatar Hugo Herbelin2016-08-17
* | CLEANUP: removing a call of "Context.Rel.Declaration.to_tuple" functionGravatar Matej Kosik2016-08-11
* | CLEANUP: removing a call of "Context.Rel.Declaration.to_tuple" functionGravatar Matej Kosik2016-08-11
|/
* Better algorithm for variable deambiguation in term printing.Gravatar Pierre-Marie Pédrot2016-06-23
* CLEANUP: Context.{Rel,Named}.Declaration.tGravatar Matej Kosik2016-02-09
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-07-18
* Adding a new folder corresponding to the low-level part of the pretyperGravatar Pierre-Marie Pédrot2015-02-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-21 09:12:47 +0000