| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fixed ChangeLog header. (Manifest recommit) |   Sven Wegener | 2004-12-28 | 1 | -4/+14 |
| | | |||||
| * | Fixed ChangeLog header. | Sven Wegener | 2004-12-28 | 1 | -2/+2 |
| | | |||||
| * | Moved from app-sci/coq to sci-mathematics/coq. |   Olivier Fisette | 2004-12-28 | 13 | -0/+353 |
GitWeb