Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Put newlines at the end of files. | Gaƫtan Gilbert | 2017-10-25 |
| | |||
* | Add test-suite script by Cyprien Mangin | Matthieu Sozeau | 2017-09-18 |
| | |||
* | fixed kernel bug (de Bruijn) + test-suite | barras | 2008-12-02 |
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11646 85f007b7-540e-0410-9357-904b9bb8a0f7 |