aboutsummaryrefslogtreecommitdiffhomepage
path: root/engine
Commit message (Expand)AuthorAge
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-09
* Splitting kernel universe code in two modules.Gravatar Pierre-Marie Pédrot2015-10-06
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-06
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-02
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-02
* Removing meta_with_name from Evd.Gravatar Pierre-Marie Pédrot2015-09-27
* Removing subst_defined_metas_evars from Evd.Gravatar Pierre-Marie Pédrot2015-09-27
* Removing uselessly duplicated function in Evd.Gravatar Pierre-Marie Pédrot2015-09-27
* Hardening the API of evarmaps.Gravatar Pierre-Marie Pédrot2015-09-26
* Merge branch 'v8.5' into trunkGravatar Maxime Dénès2015-09-17
* Fix documentation.Gravatar Matthieu Sozeau2015-07-27
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-07-18
* Merge branch 'v8.5' into trunkGravatar Maxime Dénès2015-07-02
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-06-28
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-06-01
* Adding a primitive to the tactic monad to modify the exceptional content.Gravatar Pierre-Marie Pédrot2015-05-07
* Exposing the minimal amount of internal of the Logic monad in order toGravatar Pierre-Marie Pédrot2015-05-06
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-05-05
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-03-23
* Moving Proofview_monad to the engine/ folder.Gravatar Pierre-Marie Pédrot2015-02-28
* 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-12-03 16:04:11 +0000