| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PI... |   Mark Wright | 2014-01-15 | 1 | -16/+7 |
| * | Apply patch from upstream to fix twelf build with mlton-20130715. Add -fno-PI... | Mark Wright | 2014-01-15 | 3 | -30/+446 |
| * | sci-mathematics/twelf: Punt base.eclass |   Justin Lecher | 2014-01-06 | 1 | -8/+18 |
| * | sci-mathematics/twelf: Punt base.eclass | Justin Lecher | 2014-01-06 | 3 | -37/+40 |
| * | fix bug 466776 - typo in email address | Mark Wright | 2013-05-24 | 1 | -5/+5 |
| * | fix bug 466776 - typo in email address | Mark Wright | 2013-05-24 | 2 | -3/+7 |
| * | twelf does not depend on omake. subslot dep in case any future ebuild depends... | Mark Wright | 2012-12-12 | 1 | -5/+5 |
| * | twelf does not depend on omake. subslot dep in case any future ebuild depends... | Mark Wright | 2012-12-12 | 2 | -5/+8 |
| * | Add twelf, ebuild by me | Mark Wright | 2012-12-09 | 1 | -0/+20 |
| * | Add twelf, ebuild by me | Mark Wright | 2012-12-09 | 9 | -0/+240 |
GitWeb