| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | | Remove duplicate declarations. |  Guillaume Melquiond | 2016-01-01 | |
| |/ | ||||
| * | Merge branch 'v8.5' |  Pierre-Marie Pédrot | 2015-11-20 | |
| * | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-11-05 | |
| * | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-10-30 | |
| * | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-10-29 | |
| * | Clarifying and documenting the UState API. | Pierre-Marie Pédrot | 2015-10-17 | |
| * | Dedicated file for universe unification context manipulation. | Pierre-Marie Pédrot | 2015-10-17 | |
| * | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-10-09 | |
| * | Splitting kernel universe code in two modules. | Pierre-Marie Pédrot | 2015-10-06 | |
| * | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-10-02 | |
| * | Removing meta_with_name from Evd. | Pierre-Marie Pédrot | 2015-09-27 | |
| * | Removing subst_defined_metas_evars from Evd. | Pierre-Marie Pédrot | 2015-09-27 | |
| * | Removing uselessly duplicated function in Evd. | Pierre-Marie Pédrot | 2015-09-27 | |
| * | Hardening the API of evarmaps. | Pierre-Marie Pédrot | 2015-09-26 | |
| * | Merge branch 'v8.5' into trunk |  Maxime Dénès | 2015-09-17 | |
| * | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-06-01 | |
| * | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-05-05 | |
| * | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-03-23 | |
| * | Adding a new folder corresponding to the low-level part of the pretyper | Pierre-Marie Pédrot | 2015-02-27 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |