| Commit message (Expand) | Author | Age | Files | Lines |
* | Remove py2app, fixes bug 423555 - sci-mathematics/p9m4-05: tries to use netwo... | Mark Wright | 2012-07-02 | 1 | -10/+6 |
* | Remove py2app, fixes bug 423555 - sci-mathematics/p9m4-05: tries to use netwo... | Mark Wright | 2012-07-02 | 2 | -5/+15 |
* | Fix typo. | Diego Elio Pettenò | 2012-06-25 | 1 | -7/+11 |
* | Fix typo. | Diego Elio Pettenò | 2012-06-25 | 2 | -3/+5 |
* | Note I am the maintainer in metadata.xml. | Mark Wright | 2012-01-30 | 1 | -5/+5 |
* | Note I am the maintainer in metadata.xml. | Mark Wright | 2012-01-30 | 2 | -1/+7 |
* | Thanks to xarthisius for reviewing, move S higher in file and fix missing || ... | Mark Wright | 2012-01-08 | 1 | -5/+5 |
* | Thanks to xarthisius for reviewing, move S higher in file and fix missing || ... | Mark Wright | 2012-01-08 | 2 | -5/+9 |
* | New p9m4 prover9 mace4 gui ebuild by me fixes #398021 | Mark Wright | 2012-01-08 | 1 | -0/+18 |
* | New p9m4 prover9 mace4 gui ebuild by me fixes #398021 | Mark Wright | 2012-01-08 | 6 | -0/+280 |