| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/isabelle: use HTTPS for links to dev.gentoo.org |   Francesco Turco | 2017-09-06 | 1 | -3/+3 |
| * | Drop $Id$ per council decision in bug #611234. |   Robin H. Johnson | 2017-02-28 | 1 | -1/+0 |
| * | sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez for |   Mark Wright | 2017-01-03 | 1 | -0/+329 |
GitWeb