| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | no need to dodoc the license |   Alexis Ballier | 2007-12-17 | 1 | -2/+2 |
| * | 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 |
GitWeb