| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-06-08 | - Extension de "generalize" en "generalize c as id at occs". | herbelin |
| 2008-05-08 | Autre oubli de la révision 10904 | herbelin |
| 2008-04-14 | oubli sur 10790 | herbelin |
| 2008-04-13 | Bugs, nettoyage, et améliorations diverses | herbelin |
| 2008-04-01 | Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient | herbelin |
| 2008-03-28 | - Second pass on implementation of let pattern. Parse "let ' par [as x]? | msozeau |
| 2008-03-07 | f_equal, revert, specialize in ML, contradict in better Ltac (+doc) | letouzey |
| 2008-03-07 | Fix bug #1704 (ordering of condition goals for (setoid)rewrite). As part | msozeau |
| 2008-03-01 | Rework on rich forms of rewrite | letouzey |
| 2008-02-25 | Forgotten file in previous commit | lmamane |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |