summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/isabelle: Remove last-rited pkgMichał Górny2019-09-141-328/+0
* sci-mathematics/isabelle: fix scala dependency.Patrice Clement2018-11-011-6/+6
* sci-mathematics/isabelle: use HTTPS for links to dev.gentoo.orgFrancesco Turco2017-09-061-3/+3
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez forMark Wright2017-01-031-0/+329