Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download 'Isabell... | Mark Wright | 2015-03-25 | 1 | -3/+3 |
* | [QA] Change !use by ! use such that it negates the USE flag instead of expand... | Tom Wijsman | 2014-01-07 | 1 | -0/+254 |