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