| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | ppc stable wrt #419905, drop old |   Kacper Kowalik | 2012-06-16 | 1 | -16/+17 |
| * | ppc stable wrt #419905, drop old | Kacper Kowalik | 2012-06-16 | 6 | -103/+8 |
| * | Patch signal handling: http://article.gmane.org/gmane.science.mathematics.log... |   Mark Wright | 2012-06-15 | 1 | -5/+7 |
| * | Patch signal handling: http://article.gmane.org/gmane.science.mathematics.log... | Mark Wright | 2012-06-15 | 4 | -2/+58 |
| * | whitespace |   Michael Sterrett | 2012-06-14 | 1 | -11/+1 |
| * | whitespace | Michael Sterrett | 2012-06-14 | 1 | -2/+2 |
| * | Revision bump. Fixes bug #411453 |   Jesus Rivero | 2012-06-14 | 1 | -17/+8 |
| * | Revision bump. Fixes bug #411453 | Jesus Rivero | 2012-06-14 | 3 | -3/+36 |
| * | Re-add hdf5, some octave packages might need it. Do in source configuring for... |   Sebastien Fabbro | 2012-06-11 | 1 | -4/+5 |
| * | Re-add hdf5, some octave packages might need it. Do in source configuring for... | Sebastien Fabbro | 2012-06-11 | 2 | -1/+120 |
| * | Stable for amd64, wrt bug #419905 |   Agostino Sarubbo | 2012-06-11 | 1 | -2/+16 |
| * | Stable for amd64, wrt bug #419905 | Agostino Sarubbo | 2012-06-11 | 2 | -3/+6 |
| * | sci-mathematics/gretl: Version Bump, set gtk version fix (<1.9.9 = gtk2, >=1.... |   Justin Lecher | 2012-06-10 | 1 | -4/+17 |
| * | sci-mathematics/gretl: Version Bump, set gtk version fix (<1.9.9 = gtk2, >=1.... | Justin Lecher | 2012-06-10 | 5 | -46/+158 |
| * | marked x86 per bug 419905 |   Jeff Horelick | 2012-06-09 | 1 | -12/+2 |
| * | marked x86 per bug 419905 | Jeff Horelick | 2012-06-09 | 2 | -3/+6 |
| * | Version bump | Sebastien Fabbro | 2012-06-06 | 1 | -11/+7 |
| * | Version bump | Sebastien Fabbro | 2012-06-06 | 2 | -2/+8 |
| * | Version bump | Sebastien Fabbro | 2012-06-06 | 1 | -5/+8 |
| * | Version bump | Sebastien Fabbro | 2012-06-06 | 2 | -2/+48 |
| * | Version bump | Sebastien Fabbro | 2012-06-06 | 1 | -11/+13 |
| * | Version bump | Sebastien Fabbro | 2012-06-06 | 9 | -218/+18 |
| * | 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 |
GitWeb
