summaryrefslogtreecommitdiff
path: root/app-editors/emacs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add the emacs patch needed for isabelle.René 'Necoro' Neumann2012-01-101-0/+28