| Commit message (Collapse) | 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 |
| | | | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> | ||||
| * | sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez for |   Mark Wright | 2017-01-03 | 1 | -0/+329 |
| providing the isabelle 2016 patches and the 2016 ebuild. Thanks to mgorny for reporting the get_libdir called in global scope QA bug. Gentoo-bugs: 602958, 593380 Package-Manager: portage-2.3.3 | |||||
GitWeb