summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Added math-proof herd as maintainer of this package instead of sci.Alexandre Buisse2006-07-011-1/+1
| | | | (Portage version: 2.1.1_pre1-r1)
* Moved from app-sci/coq to sci-mathematics/coq.Olivier Fisette2004-12-281-0/+9