Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2009-10-27 | Add line numbering for emacs | René 'Necoro' Neumann | 1 | -1/+5 |
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 |