| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | QA: drop trailing '.' from DESCRIPTION |   Sergei Trofimovich | 2014-08-10 | 3 | -17/+20 |
| * | Remove py2app, fixes bug 423555 - sci-mathematics/p9m4-05: tries to use netwo... |   Mark Wright | 2012-07-02 | 3 | -15/+21 |
| * | Fix typo. |   Diego Elio Pettenò | 2012-06-25 | 3 | -10/+16 |
| * | Note I am the maintainer in metadata.xml. | Mark Wright | 2012-01-30 | 3 | -6/+12 |
| * | Thanks to xarthisius for reviewing, move S higher in file and fix missing || ... | Mark Wright | 2012-01-08 | 3 | -10/+14 |
| * | New p9m4 prover9 mace4 gui ebuild by me fixes #398021 | Mark Wright | 2012-01-08 | 7 | -0/+298 |
GitWeb