| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ... |   Mark Wright | 2012-12-09 | 5 | -9/+39 |
| * | EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ... | Mark Wright | 2012-12-05 | 4 | -17/+54 |
| * | isabelle doc requires a symlink | Mark Wright | 2012-09-20 | 4 | -29/+35 |
| * | Patch signal handling: http://article.gmane.org/gmane.science.mathematics.log... | Mark Wright | 2012-06-15 | 5 | -7/+65 |
| * | Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover... | Mark Wright | 2012-05-30 | 10 | -6/+702 |
| * | Fix bug #400961, thanks to Mr. Anderson for report and fix. | Mark Wright | 2012-01-30 | 4 | -9/+16 |
| * | Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ... | Mark Wright | 2012-01-09 | 3 | -29/+27 |
| * | New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 | Mark Wright | 2012-01-08 | 6 | -0/+261 |
GitWeb