summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Redigest for Manifest2Markus Ullmann2007-02-221-12/+12
* Redigest for Manifest2Markus Ullmann2007-02-222-2/+7
* 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-243-5/+18
* Added to x86. Removed old versions.Olivier Fisette2005-06-267-73/+9
* install examples as part of docsStephanie J. Lockwood-Childs2005-04-224-2/+44
* marked ~ppcStephanie J. Lockwood-Childs2005-04-224-20/+13
* Fixed ChangeLog header.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