summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Reassigning to sci from math-proof (see #138059 for reference).Christian Heim2007-07-311-1/+4
* Redigest for Manifest2Markus Ullmann2007-02-221-2/+5
* Added math-proof herd as maintainer of this package instead of sci.Alexandre Buisse2006-07-011-2/+6
* added ~amd64Daniel Gryniewicz2005-07-241-1/+4
* Added to x86. Removed old versions.Olivier Fisette2005-06-261-1/+5
* install examples as part of docsStephanie J. Lockwood-Childs2005-04-221-1/+7
* marked ~ppcStephanie J. Lockwood-Childs2005-04-221-2/+5
* Fixed ChangeLog header.Sven Wegener2004-12-281-2/+2
* Moved from app-sci/otter to sci-mathematics/otter.Olivier Fisette2004-12-281-0/+37