Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | added ~amd64 to KEYWORDS, fixes #88950 | Jan Brinkmann | 2005-04-13 | 5 | -17/+20 |
* | Fixed ChangeLog header. | 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 |