aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine/evarutil.ml
Commit message (Expand)AuthorAge
* Merge remote-tracking branch 'gforge/v8.5' into v8.6Gravatar Matthieu Sozeau2016-10-21
* Fast path in push_rel_context_to_named_context.Gravatar Pierre-Marie Pédrot2016-09-05
* Fast path in whd_evar.Gravatar Pierre-Marie Pédrot2016-09-02
* Using a dedicated kind of substitutions in evar name generation.Gravatar Pierre-Marie Pédrot2016-08-06
* Using the extended contexts in pretyping.Gravatar Pierre-Marie Pédrot2016-08-05
* Use sets instead of lists for names to avoid in evar generation.Gravatar Pierre-Marie Pédrot2016-08-04
* Simplifying code in evar generation.Gravatar Pierre-Marie Pédrot2016-08-04
* Exporting the renaming API for evar declaration.Gravatar Pierre-Marie Pédrot2016-08-04
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* Optimize the clear tactic.Gravatar Pierre-Marie Pédrot2016-06-24
* Optimize the clear tactic.Gravatar Pierre-Marie Pédrot2016-06-24
* Document new Hint Mode option.Gravatar Matthieu Sozeau2016-06-16
* Removing dead code and unused opens.Gravatar Pierre-Marie Pédrot2016-05-08
* Moving Evarutil and Proofview to engine/Gravatar Pierre-Marie Pédrot2016-03-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 14:48:39 +0000