| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-09-17 | Revert specific syntax for primitive projections, avoiding ugly | Matthieu Sozeau |
| 2014-09-10 | Parsing and printing of primitive projections, fix buggy behavior when | Matthieu Sozeau |
| 2014-09-09 | - Fix printing and parsing of primitive projections, including the Set | Matthieu Sozeau |
| 2014-09-05 | Fix primitive projections declarations for inductive records. | Matthieu Sozeau |
| 2014-08-30 | Simplify even further the declaration of primitive projections, | Matthieu Sozeau |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |