summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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: remove unused patchMichael Mair-Keimberger (asterix)2017-02-011-13/+0
* sci-mathematics/isabelle: Remove oldMark Wright2017-01-288-468/+0
* sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez forMark Wright2017-01-0311-0/+606
* sci-mathematics/isabelle: Remove oldJames Le Cuirot2016-03-0618-2052/+0
* sci-mathematics/isabelle: Remove sci-mathematics/csdp, as found existing sci-...Mark Wright2016-02-161-1/+1
* sci-mathematics/isabelle: Bump to 2015, check diskspace and memory.Mark Wright2016-02-164-0/+349
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-2/+2
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
* Unify quoting in metadata.xml files for machine processingMichał Górny2016-01-241-16/+16
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-243-3/+3
* proj/gentoo: Initial commitRobin H. Johnson2015-08-0823-0/+2223