summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* fix bug 466776 - typo in email addressMark Wright2013-05-241-1/+2
| | | | (Portage version: 2.2.0_alpha176/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add sci-mathematics/sha1-polyml for sci-mathematics/isabelleMark Wright2012-12-081-0/+13
(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)