summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fixed ChangeLog header.Sven Wegener2004-12-281-4/+14
* Fixed ChangeLog header.Sven Wegener2004-12-281-2/+2
* Moved from app-sci/coq to sci-mathematics/coq.Olivier Fisette2004-12-2813-0/+353