| Commit message (Expand) | Author | Age | Files | Lines |
* | marked x86 per bug 418407 | Thomas Kahle | 2012-06-04 | 1 | -10/+6 |
* | marked x86 per bug 418407 | Thomas Kahle | 2012-06-04 | 2 | -3/+6 |
* | Stable for amd64, wrt bug #418407 | Agostino Sarubbo | 2012-06-03 | 1 | -6/+10 |
* | Stable for amd64, wrt bug #418407 | Agostino Sarubbo | 2012-06-03 | 2 | -3/+6 |
* | Fix libpolymake.so.0 symlink | Thomas Kahle | 2012-06-03 | 1 | -5/+5 |
* | Fix libpolymake.so.0 symlink | Thomas Kahle | 2012-06-03 | 2 | -2/+6 |
* | Add virtual/emacs and app-emacs/haskell-mode deps | Mark Wright | 2012-06-02 | 1 | -6/+6 |
* | Add virtual/emacs and app-emacs/haskell-mode deps | Mark Wright | 2012-06-02 | 3 | -9/+13 |
* | keyworded ~amd64 after request on sci-ml | Thomas Kahle | 2012-06-01 | 1 | -2/+12 |
* | keyworded ~amd64 after request on sci-ml | Thomas Kahle | 2012-06-01 | 2 | -3/+6 |
* | Snapshot now hosted at dev.gentoo.org | Andrey Grozin | 2012-06-01 | 1 | -2/+2 |
* | Snapshot now hosted at dev.gentoo.org | Andrey Grozin | 2012-06-01 | 2 | -6/+9 |
* | Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed. | Mark Wright | 2012-06-01 | 1 | -18/+8 |
* | Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed. | Mark Wright | 2012-06-01 | 3 | -6/+21 |
* | Remove spurious comment from site-init file for Emacs. | Ulrich Müller | 2012-05-31 | 1 | -7/+17 |
* | Remove spurious comment from site-init file for Emacs. | Ulrich Müller | 2012-05-31 | 2 | -3/+4 |
* | Fixing RDEPEND | Andrey Grozin | 2012-05-31 | 1 | -2/+2 |
* | Fixing RDEPEND | Andrey Grozin | 2012-05-31 | 2 | -9/+11 |
* | Initial import, thanks to Jauhien Piatlicki <piatlicki@gmail.com>, closing bu... | Andrey Grozin | 2012-05-31 | 1 | -2/+2 |
* | Initial import, thanks to Jauhien Piatlicki <piatlicki@gmail.com>, closing bu... | Andrey Grozin | 2012-05-31 | 4 | -0/+112 |
* | 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 |