summaryrefslogtreecommitdiff
path: root/.emacs.d/evil-settings.el (follow)
Commit message (Collapse)AuthorAgeFilesLines
* enhance isabelle-repairRené 'Necoro' Neumann2012-09-051-1/+1
|
* More emacs/isabelle hacksRené 'Necoro' Neumann2012-09-041-3/+8
|
* Customize Evil -- make it work with Isar ShortcutsRené Neumann2012-09-041-0/+16