| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2008-10-28 | 11511 continued (bug in set.out + incohérence dans "Theorem with" | herbelin | |
| entre le calcul des arguments récursifs possibles -- bien que bidon en attendant mieux -- et ce la tactique fix attend -- le premier expanse les produits au maximum le second non) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11515 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2008-10-27 | - Fixed many "Theorem with" bugs. | herbelin | |
| - Fixed doc of assert as. - Doc of apply in + update credits. - Nettoyage partiel de Even.v en utilisant "Theorem with". - Added check that name is not in use for "generalize as". git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11511 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
