| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Add E theorem prover, with optional Isabelle/HOL sledgehammer integration. |   Mark Wright | 2012-05-30 | 1 | -0/+14 |
| * | Add E theorem prover, with optional Isabelle/HOL sledgehammer integration. | Mark Wright | 2012-05-30 | 3 | -0/+171 |
| * | Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer i... | Mark Wright | 2012-05-30 | 1 | -0/+14 |
| * | Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer i... | Mark Wright | 2012-05-30 | 3 | -0/+105 |
| * | Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration. | Mark Wright | 2012-05-30 | 1 | -0/+15 |
| * | Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration. | Mark Wright | 2012-05-30 | 4 | -0/+201 |
| * | Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover... | Mark Wright | 2012-05-30 | 1 | -5/+15 |
| * | Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover... | Mark Wright | 2012-05-30 | 9 | -1/+687 |
| * | Version bump |   Sebastien Fabbro | 2012-05-29 | 1 | -6/+6 |
| * | Version bump | Sebastien Fabbro | 2012-05-29 | 2 | -2/+8 |
| * | inherit eutils for make_desktop_entry |   Samuli Suominen | 2012-05-21 | 1 | -17/+11 |
| * | inherit eutils for make_desktop_entry | Samuli Suominen | 2012-05-21 | 4 | -7/+11 |
| * | Add missing inheritance of eutils.eclass |   Kacper Kowalik | 2012-05-21 | 1 | -7/+27 |
| * | Add missing inheritance of eutils.eclass | Kacper Kowalik | 2012-05-21 | 7 | -16/+21 |
| * | Version bump. Remove old. |   Paweł Hajdan | 2012-05-21 | 1 | -10/+9 |
| * | Version bump. Remove old. | Paweł Hajdan | 2012-05-21 | 3 | -14/+37 |
| * | Remove unnecessary gnome-extra/yelp from runtime dependencies; src/ui/gui/aut... | Samuli Suominen | 2012-05-21 | 1 | -2/+16 |
| * | Remove unnecessary gnome-extra/yelp from runtime dependencies; src/ui/gui/aut... | Samuli Suominen | 2012-05-21 | 2 | -3/+9 |
| * | Fix direct g++ calls and CXXFLAGS (bug 415975). x86 stable. |   Thomas Kahle | 2012-05-18 | 1 | -14/+6 |
| * | Fix direct g++ calls and CXXFLAGS (bug 415975). x86 stable. | Thomas Kahle | 2012-05-18 | 5 | -150/+14 |
| * | Stable for amd64, wrt bug #415975 |   Agostino Sarubbo | 2012-05-18 | 1 | -6/+10 |
| * | Stable for amd64, wrt bug #415975 | Agostino Sarubbo | 2012-05-18 | 2 | -3/+6 |
| * | version bump, by Christian D., bug #416389 |   Alexis Ballier | 2012-05-17 | 1 | -6/+8 |
| * | version bump, by Christian D., bug #416389 | Alexis Ballier | 2012-05-17 | 2 | -1/+88 |
| * | bump to 27.7-r1 to reflect changed source location (Bug 416225) | Thomas Kahle | 2012-05-16 | 1 | -7/+7 |
| * | bump to 27.7-r1 to reflect changed source location (Bug 416225) | Thomas Kahle | 2012-05-16 | 2 | -4/+14 |
| * | Fix parallel build of docs | Thomas Kahle | 2012-05-16 | 1 | -5/+5 |
| * | Fix parallel build of docs | Thomas Kahle | 2012-05-16 | 2 | -4/+6 |
| * | Install pdf manual with USE='doc'. (Bug 415939) | Thomas Kahle | 2012-05-16 | 1 | -7/+7 |
| * | Install pdf manual with USE='doc'. (Bug 415939) | Thomas Kahle | 2012-05-16 | 2 | -5/+12 |
| * | Fix bug 414709. Thanks Jean-Francis Roy for the solution. | Thomas Kahle | 2012-05-13 | 1 | -4/+5 |
| * | Fix bug 414709. Thanks Jean-Francis Roy for the solution. | Thomas Kahle | 2012-05-13 | 2 | -1/+193 |
| * | New package: Machine Learning PYthon (mlpy) is a high-performance Python libr... |   Donnie Berkholz | 2012-05-11 | 1 | -0/+4 |
| * | New package: Machine Learning PYthon (mlpy) is a high-performance Python libr... | Donnie Berkholz | 2012-05-11 | 3 | -0/+50 |
| * | examples are not configured, only installed (fixing bug #415349) together wit... | Sebastien Fabbro | 2012-05-10 | 1 | -8/+5 |
| * | examples are not configured, only installed (fixing bug #415349) together wit... | Sebastien Fabbro | 2012-05-10 | 3 | -86/+11 |
| * | keyword ~amd64-fbsd | Alexis Ballier | 2012-05-09 | 1 | -2/+12 |
| * | keyword ~amd64-fbsd | Alexis Ballier | 2012-05-09 | 2 | -3/+6 |
| * | Fix for gcc-4.7, thanks Jimmy Jazz (bug #414029) | Sebastien Fabbro | 2012-05-08 | 1 | -2/+13 |
| * | Fix for gcc-4.7, thanks Jimmy Jazz (bug #414029) | Sebastien Fabbro | 2012-05-08 | 3 | -2/+18 |
| * | Version bump. Optimize python module only when python is selected (bug #356975) | Sebastien Fabbro | 2012-05-08 | 1 | -5/+15 |
| * | Version bump. Optimize python module only when python is selected (bug #356975) | Sebastien Fabbro | 2012-05-08 | 6 | -171/+80 |
| * | bump to 27.7 and clean-up. Thanks Paolo Pedroni (bug 414583) | Thomas Kahle | 2012-05-04 | 1 | -10/+9 |
| * | bump to 27.7 and clean-up. Thanks Paolo Pedroni (bug 414583) | Thomas Kahle | 2012-05-04 | 6 | -115/+70 |
| * | dev-util/pkgconfig -> virtual/pkgconfig |   Jeff Horelick | 2012-05-04 | 11 | -153/+35 |
| * | dev-util/pkgconfig -> virtual/pkgconfig | Jeff Horelick | 2012-05-04 | 35 | -71/+111 |
| * | sci-mathematics/gimps: Fix checksums again, #414073 |   Justin Lecher | 2012-05-02 | 1 | -6/+6 |
| * | sci-mathematics/gimps: Fix checksums again, #414073 | Justin Lecher | 2012-05-02 | 1 | -1/+4 |
| * | sci-mathematics/gimps: Fix Upstream stupidity in changing the tarball without... | Justin Lecher | 2012-04-30 | 1 | -9/+9 |
| * | sci-mathematics/gimps: Fix Upstream stupidity in changing the tarball without... | Justin Lecher | 2012-04-30 | 4 | -32/+35 |
GitWeb
