| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2014-07-31 | [emacs] Don't be evil | René 'Necoro' Neumann | 1 | -21/+0 |
| 2012-09-05 | enhance isabelle-repair | René 'Necoro' Neumann | 1 | -1/+1 |
| 2012-09-04 | More emacs/isabelle hacks | René 'Necoro' Neumann | 1 | -3/+8 |
| 2012-09-04 | Customize Evil -- make it work with Isar Shortcuts | René Neumann | 1 | -0/+16 |
 |
index : dotfiles | |
| All my dotfiles | René 'Necoro' Neumann |
| summaryrefslogtreecommitdiff |