summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* app-emacs/proofgeneral: Remove old.Ulrich Müller2019-10-131-14/+0
* app-emacs/proofgeneral: Bump to version 4.4.Ulrich Müller2019-09-052-0/+25
* proj/gentoo: Initial commitRobin H. Johnson2015-08-082-0/+16