summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* app-emacs/proofgeneral: Remove old.Ulrich Müller2019-10-131-1/+0
* app-emacs/proofgeneral: Bump to version 4.4.Ulrich Müller2019-09-051-0/+1
* app-emacs: Update all Manifest files.Ulrich Müller2017-11-261-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+1