| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Deprecate options that were introduced for compatibility with 8.5. |  Théo Zimmermann | 2017-07-11 |
| * | Support for using type information to infer more precise evar sources. |  Hugo Herbelin | 2017-05-30 |
| * | no-refold patch |  Paul Steckler | 2016-09-09 |
| * | Continuation of r16346 on filtering local definitions. Refined |  herbelin | 2013-03-30 |
| * | Evarconv: When doing a iota of a fixpoint, use constant name instead of fixpo... |  pboutill | 2013-02-25 |
| * | A small test for type inference (used to be a regression at some time). | herbelin | 2011-12-04 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |