| Commit message (Expand) | Author | Age | Files | Lines |
* | [QA] Change !use by ! use such that it negates the USE flag instead of expand... | ![](//www.gravatar.com/avatar/7e520a8467234b9fadf34ab566775f19?s=13&d=retro) Tom Wijsman | 2014-01-07 | 1 | -2/+12 |
* | Fix SRC_URI and HOMEPAGE (case-sensitive). | ![](//www.gravatar.com/avatar/fdb9073dc8f2861ccb1f9cdd7975447d?s=13&d=retro) Zac Medico | 2013-09-01 | 1 | -1/+4 |
* | Bump isabelle to 2013, fixes bug 468344 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2013-08-31 | 1 | -1/+9 |
* | Fix XML. | ![](//www.gravatar.com/avatar/89373a8ecb54a4aa7e77fb37798e9c4c?s=13&d=retro) Jeroen Roovers | 2013-05-03 | 1 | -2/+5 |
* | EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-12-05 | 1 | -1/+8 |
* | isabelle doc requires a symlink | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-09-20 | 1 | -2/+5 |
* | Patch signal handling: http://article.gmane.org/gmane.science.mathematics.log... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-06-15 | 1 | -1/+10 |
* | Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-05-30 | 1 | -1/+16 |
* | Fix bug #400961, thanks to Mr. Anderson for report and fix. | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-01-30 | 1 | -1/+5 |
* | Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ... | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-01-09 | 1 | -1/+5 |
* | New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 | ![](//www.gravatar.com/avatar/630b5cb6854ec94d23c6402af66b8ab9?s=13&d=retro) Mark Wright | 2012-01-08 | 1 | -0/+11 |