| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | [QA] Change !use by ! use such that it negates the USE flag instead of expand... |   Tom Wijsman | 2014-01-07 | 1 | -8/+12 |
| * | [QA] Change !use by ! use such that it negates the USE flag instead of expand... | Tom Wijsman | 2014-01-07 | 4 | -11/+21 |
| * | Fix SRC_URI and HOMEPAGE (case-sensitive). |   Zac Medico | 2013-09-01 | 1 | -5/+5 |
| * | Fix SRC_URI and HOMEPAGE (case-sensitive). | Zac Medico | 2013-09-01 | 2 | -4/+7 |
| * | Bump isabelle to 2013, fixes bug 468344 |   Mark Wright | 2013-08-31 | 1 | -5/+12 |
| * | Bump isabelle to 2013, fixes bug 468344 | Mark Wright | 2013-08-31 | 5 | -1/+610 |
| * | Fix XML. |   Jeroen Roovers | 2013-05-03 | 1 | -5/+5 |
| * | Fix XML. | Jeroen Roovers | 2013-05-03 | 2 | -3/+6 |
| * | Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ... | Mark Wright | 2012-12-09 | 1 | -5/+7 |
| * | Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ... | Mark Wright | 2012-12-09 | 4 | -4/+32 |
| * | EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ... | Mark Wright | 2012-12-05 | 1 | -6/+6 |
| * | EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ... | Mark Wright | 2012-12-05 | 3 | -11/+48 |
| * | isabelle doc requires a symlink | Mark Wright | 2012-09-20 | 1 | -22/+22 |
| * | isabelle doc requires a symlink | Mark Wright | 2012-09-20 | 3 | -7/+13 |
| * | 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 |
| * | 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 |
| * | Fix bug #400961, thanks to Mr. Anderson for report and fix. | Mark Wright | 2012-01-30 | 1 | -6/+6 |
| * | Fix bug #400961, thanks to Mr. Anderson for report and fix. | Mark Wright | 2012-01-30 | 3 | -3/+10 |
| * | Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ... | Mark Wright | 2012-01-09 | 1 | -5/+5 |
| * | Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ... | Mark Wright | 2012-01-09 | 2 | -24/+22 |
| * | New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 | Mark Wright | 2012-01-08 | 1 | -0/+16 |
| * | New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 | Mark Wright | 2012-01-08 | 5 | -0/+245 |
GitWeb
