summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Moved from app-sci/coq to sci-mathematics/coq.Olivier Fisette2004-12-287-0/+74