summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Remove all old-style digests from the system and regen the Manifest files.Robin H. Johnson2008-01-311-12/+0
* Dropped ppc-macos keyword, see you in prefixFabian Groffen2008-01-281-18/+8
* Reassigning to sci from math-proof (see #138059 for reference).Christian Heim2007-07-311-8/+18
* whitespaceMichael Sterrett2007-07-131-14/+4
* Redigest for Manifest2Markus Ullmann2007-02-221-12/+12
* Added math-proof herd as maintainer of this package instead of sci.Alexandre Buisse2006-07-011-6/+18
* added ~amd64Daniel Gryniewicz2005-07-241-0/+10
* added ~amd64Daniel Gryniewicz2005-07-241-2/+2
* added ~amd64Daniel Gryniewicz2005-07-241-2/+2
* Added to x86. Removed old versions.Olivier Fisette2005-06-261-6/+2
* install examples as part of docsStephanie J. Lockwood-Childs2005-04-221-2/+2
* install examples as part of docsStephanie J. Lockwood-Childs2005-04-221-1/+3
* marked ~ppcStephanie J. Lockwood-Childs2005-04-221-13/+3
* Fixed ChangeLog header. (Manifest recommit)Sven Wegener2004-12-281-3/+13
* Moved from app-sci/otter to sci-mathematics/otter.Olivier Fisette2004-12-281-0/+6