summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Added math-proof herd as maintainer of this package instead of sci.Alexandre Buisse2006-07-011-6/+18
* Added math-proof herd as maintainer of this package instead of sci.Alexandre Buisse2006-07-012-3/+7
* added ~amd64Daniel Gryniewicz2005-07-241-0/+10
* added ~amd64Daniel Gryniewicz2005-07-241-2/+2
* added ~amd64Daniel Gryniewicz2005-07-243-5/+8
* Added to x86. Removed old versions.Olivier Fisette2005-06-261-6/+2
* Added to x86. Removed old versions.Olivier Fisette2005-06-266-67/+7
* install examples as part of docsStephanie J. Lockwood-Childs2005-04-221-2/+2
* install examples as part of docsStephanie J. Lockwood-Childs2005-04-224-2/+44
* marked ~ppcStephanie J. Lockwood-Childs2005-04-221-13/+3
* marked ~ppcStephanie J. Lockwood-Childs2005-04-223-7/+10
* Fixed ChangeLog header. (Manifest recommit)Sven Wegener2004-12-281-3/+13
* Fixed ChangeLog header.Sven Wegener2004-12-281-2/+2
* Moved from app-sci/otter to sci-mathematics/otter.Olivier Fisette2004-12-287-0/+112