| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2007-08-16 | Correction du bug #1322 | notin | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10077 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2007-08-16 | Correction du bug #1680: ajout d'un champ avoid_ids dans interp_sign; | notin | |
| modification de interp_ltac_reference pour passer les ids utilisées dans le contexte d'appel d'une tactique. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10076 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2007-08-10 | Modification de la test suite pour intégrer des tests spécifiques aux | notin | |
| bugs soumis sur Coq-bugs. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10068 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |