| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Évolutions diverses et variées. |  herbelin | 2008-08-04 |
| * | - Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs) | herbelin | 2008-06-10 |
| * | Minor bug correction in recdef |  jforest | 2008-06-02 |
| * | menage dans funind + deplaceemnt de recdef dans funind | jforest | 2008-04-28 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |