Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | quote directory variables | Alexis Ballier | 2007-10-20 | 1 | -6/+6 |
* | (QA) RESTRICT clean up. | Piotr Jaroszyński | 2007-07-02 | 1 | -3/+3 |
* | sci-mathematics/coq stable on ppc. | Michael Hanselmann | 2006-09-24 | 1 | -2/+2 |
* | Stable on sparc | Gustavo Zacarias | 2006-09-15 | 1 | -2/+2 |
* | Mark stable on x86, ppc and amd64 | Matthieu Sozeau | 2006-09-14 | 1 | -2/+2 |
* | Fix bad path of patch. | Matthieu Sozeau | 2006-02-06 | 1 | -2/+2 |
* | Added latest version, compatible with ocaml-3.09 | Matthieu Sozeau | 2006-02-04 | 1 | -0/+88 |