| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Redigest for Manifest2 |   Markus Ullmann | 2007-02-22 | 1 | -12/+12 |
| * | Added math-proof herd as maintainer of this package instead of sci. |   Alexandre Buisse | 2006-07-01 | 1 | -6/+18 |
| * | added ~amd64 |   Daniel Gryniewicz | 2005-07-24 | 1 | -0/+10 |
| * | added ~amd64 | Daniel Gryniewicz | 2005-07-24 | 1 | -2/+2 |
| * | added ~amd64 | Daniel Gryniewicz | 2005-07-24 | 1 | -2/+2 |
| * | Added to x86. Removed old versions. |   Olivier Fisette | 2005-06-26 | 1 | -6/+2 |
| * | install examples as part of docs |   Stephanie J. Lockwood-Childs | 2005-04-22 | 1 | -2/+2 |
| * | install examples as part of docs | Stephanie J. Lockwood-Childs | 2005-04-22 | 1 | -1/+3 |
| * | marked ~ppc | Stephanie J. Lockwood-Childs | 2005-04-22 | 1 | -13/+3 |
| * | Fixed ChangeLog header. (Manifest recommit) |   Sven Wegener | 2004-12-28 | 1 | -3/+13 |
| * | Moved from app-sci/otter to sci-mathematics/otter. | Olivier Fisette | 2004-12-28 | 1 | -0/+6 |
GitWeb