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