| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download 'Isabell... |   Mark Wright | 2015-03-25 | 1 | -3/+3 |
| * | Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot depe... | Mark Wright | 2015-01-25 | 1 | -0/+373 |
GitWeb