| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ... |   Mark Wright | 2012-12-09 | 1 | -2/+5 |
| * | EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ... | Mark Wright | 2012-12-05 | 1 | -5/+20 |
| * | isabelle doc requires a symlink | Mark Wright | 2012-09-20 | 1 | -1/+4 |
| * | Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover... | Mark Wright | 2012-05-30 | 1 | -0/+233 |
GitWeb