summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Bump E to 1.8 Jun Gopaldhara.Mark Wright2013-08-231-2/+2
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is updat...Mark Wright2012-12-051-11/+8
* Bump E to 1.6 Tiger HillMark Wright2012-09-201-0/+131