| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2009-10-27 | Add "-m iff" to isabelle call | René 'Necoro' Neumann | 1 | -1/+1 |
| 2009-10-14 | add commandline completion for vim | René 'Necoro' Neumann | 1 | -0/+12 |
 |
index : dotfiles | |
| All my dotfiles | René 'Necoro' Neumann |
| summaryrefslogtreecommitdiff |