| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | enhance isabelle-repair | René 'Necoro' Neumann | 2012-09-05 | 1 | -1/+1 |
| | | |||||
| * | More emacs/isabelle hacks | René 'Necoro' Neumann | 2012-09-04 | 1 | -3/+8 |
| | | |||||
| * | Customize Evil -- make it work with Isar Shortcuts | René Neumann | 2012-09-04 | 1 | -0/+16 |
 |
index : dotfiles | |
| All my dotfiles | René 'Necoro' Neumann |
| summaryrefslogtreecommitdiff |