summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Use -j1 for build (bug #298208).Diego Elio Pettenò2009-12-241-2/+12
* Use -j1 for build (bug #298208).Diego Elio Pettenò2009-12-242-6/+9
* Remove all old-style digests from the system and regen the Manifest files.Robin H. Johnson2008-01-312-15/+0
* Dropped ppc-macos keyword, see you in prefixFabian Groffen2008-01-281-18/+8
* Dropped ppc-macos keyword, see you in prefixFabian Groffen2008-01-282-6/+9
* Reassigning to sci from math-proof (see #138059 for reference).Christian Heim2007-07-311-8/+18
* Reassigning to sci from math-proof (see #138059 for reference).Christian Heim2007-07-312-2/+5
* whitespaceMichael Sterrett2007-07-131-14/+4
* whitespaceMichael Sterrett2007-07-131-4/+1
* 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-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