| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge remote-tracking branch 'gforge/v8.5' into v8.6 |  Matthieu Sozeau | 2016-10-21 |
| * | Using a dedicated kind of substitutions in evar name generation. |  Pierre-Marie Pédrot | 2016-08-06 |
| * | Using the extended contexts in pretyping. | Pierre-Marie Pédrot | 2016-08-05 |
| * | Use sets instead of lists for names to avoid in evar generation. | Pierre-Marie Pédrot | 2016-08-04 |
| * | Simplifying code in evar generation. | Pierre-Marie Pédrot | 2016-08-04 |
| * | Exporting the renaming API for evar declaration. | Pierre-Marie Pédrot | 2016-08-04 |
| * | Adding a bit of documentation in the mli. | Pierre-Marie Pédrot | 2016-06-09 |
| * | Moving Evarutil and Proofview to engine/ | Pierre-Marie Pédrot | 2016-03-20 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |