aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine/termops.mli
Commit message (Expand)AuthorAge
...
| * Tracking careless uses of slow name lookup.Gravatar Pierre-Marie Pédrot2016-09-09
* | CLEANUP: removing "Termops.compact_named_context_reverse" functionGravatar Matej Kosik2016-08-26
* | CLEANUP: renaming "Context.ListNamed" module to "Context.Compacted"Gravatar Matej Kosik2016-08-26
|/
* Optmimize the subst tactic.Gravatar Pierre-Marie Pédrot2016-06-24
* Adding a bit of documentation in the mli.Gravatar Pierre-Marie Pédrot2016-06-09
* CLEANUP: Context.{Rel,Named}.Declaration.tGravatar Matej Kosik2016-02-09
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
* CLEANUP: kernel/context.ml{,i}Gravatar Matej Kosik2016-01-11
* API: documenting context_chop and removing a duplicate.Gravatar Hugo Herbelin2015-12-15
* Moving extended_rel_vect/extended_rel_list to the kernel.Gravatar Hugo Herbelin2015-12-05
* About building of substitutions from instances.Gravatar Hugo Herbelin2015-12-05
* Moving three related small half-general half-ad-hoc utility functionsGravatar Hugo Herbelin2015-12-05
* Fix documentation.Gravatar Matthieu Sozeau2015-07-27
* Merge branch 'v8.5' into trunkGravatar Maxime Dénès2015-07-02
* 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-05-24 18:08:47 +0000