summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/isabelle: Remove last-rited pkgMichał Górny2019-09-141-10/+0
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-10/+10
* sci-mathematics/isabelle: Remove oldMark Wright2017-01-281-4/+0
* sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez forMark Wright2017-01-031-0/+7
* sci-mathematics/isabelle: Remove oldJames Le Cuirot2016-03-061-10/+0
* sci-mathematics/isabelle: Bump to 2015, check diskspace and memory.Mark Wright2016-02-161-0/+6
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+11