summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Stable on SPARC.Jason Wever2006-05-031-1/+5
* Moved from app-sci/coq to sci-mathematics/coq.Olivier Fisette2004-12-281-0/+2