summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Remove py2app, fixes bug 423555 - sci-mathematics/p9m4-05: tries to use netwo...Mark Wright2012-07-021-10/+6
* Remove py2app, fixes bug 423555 - sci-mathematics/p9m4-05: tries to use netwo...Mark Wright2012-07-022-5/+15
* Fix typo.Diego Elio Pettenò2012-06-251-7/+11
* Fix typo.Diego Elio Pettenò2012-06-252-3/+5
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-301-5/+5
* Note I am the maintainer in metadata.xml.Mark Wright2012-01-302-1/+7
* Thanks to xarthisius for reviewing, move S higher in file and fix missing || ...Mark Wright2012-01-081-5/+5
* Thanks to xarthisius for reviewing, move S higher in file and fix missing || ...Mark Wright2012-01-082-5/+9
* New p9m4 prover9 mace4 gui ebuild by me fixes #398021Mark Wright2012-01-081-0/+18
* New p9m4 prover9 mace4 gui ebuild by me fixes #398021Mark Wright2012-01-086-0/+280