| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example ↵ |   Mark Wright | 2012-12-05 | 1 | -1/+12 |
| | | | | | | | checking. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F) | ||||
| * | Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example ↵ | Mark Wright | 2012-12-05 | 4 | -0/+140 |
| checking. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F) | |||||
GitWeb