aboutsummaryrefslogtreecommitdiff
path: root/engine/termops.ml
AgeCommit message (Expand)Author
2016-08-30CLEANUP: using |> operator more consistentlyMatej Kosik
2016-08-26CLEANUP: removing "Termops.compact_named_context_reverse" functionMatej Kosik
2016-08-26CLEANUP: renaming "Context.ListNamed" module to "Context.Compacted"Matej Kosik
2016-08-25CLEANUP: changing the definition of the "Context.NamedList.Declaration" typeMatej Kosik
2016-08-24CLEANUP: removing calls of the "Context.Named.Declaration.to_tuple" functionMatej Kosik
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-06-24Optmimize the subst tactic.Pierre-Marie Pédrot
2016-02-09CLEANUP: Context.{Rel,Named}.Declaration.tMatej Kosik
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-11CLEANUP: kernel/context.ml{,i}Matej Kosik
2015-12-15API: documenting context_chop and removing a duplicate.Hugo Herbelin
2015-12-05Moving extended_rel_vect/extended_rel_list to the kernel.Hugo Herbelin
2015-12-05About building of substitutions from instances.Hugo Herbelin
2015-12-05Moving three related small half-general half-ad-hoc utility functionsHugo Herbelin
2015-11-26Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-15Merge branch 'v8.5'Pierre-Marie Pédrot
2015-07-02Merge branch 'v8.5' into trunkMaxime Dénès
2015-02-27Adding a new folder corresponding to the low-level part of the pretyperPierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 05:26:44 +0000