Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | added ~amd64 to KEYWORDS, fixes #88950 | 2005-04-13 | 5 | -17/+20 | |
* | Fixed ChangeLog header. | 2004-12-28 | 1 | -4/+14 | |
* | Fixed ChangeLog header. | 2004-12-28 | 1 | -2/+2 | |
* | Moved from app-sci/coq to sci-mathematics/coq. | 2004-12-28 | 13 | -0/+353 |