| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Slot scala |   Mark Wright | 2015-04-17 | 2 | -12/+12 |
| * | Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot depe... | Mark Wright | 2015-01-25 | 2 | -0/+224 |
| * | Bump isabelle to 2013, fixes bug 468344 | Mark Wright | 2013-08-31 | 3 | -0/+250 |
| * | Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ... | Mark Wright | 2012-12-09 | 2 | -0/+22 |
| * | Patch signal handling: http://article.gmane.org/gmane.science.mathematics.log... | Mark Wright | 2012-06-15 | 2 | -0/+43 |
| * | Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover... | Mark Wright | 2012-05-30 | 5 | -0/+136 |
| * | New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 | Mark Wright | 2012-01-08 | 2 | -0/+50 |
GitWeb