| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [zsh] Remove obsolete isabelle functions | René 'Necoro' Neumann | 2018-06-10 | 1 | -111/+0 |
| * | IE/IJ: Session logic | René 'Necoro' Neumann | 2013-11-21 | 1 | -2/+15 |
| * | Launch isabelle in background (+ some comments and small cleanup) | René Neumann | 2012-10-27 | 1 | -5/+22 |
| * | Added support for jedit. | René Neumann | 2011-11-21 | 1 | -4/+10 |
| * | Enhance IE script | René Neumann | 2011-08-12 | 1 | -6/+7 |
| * | More advanced IE script | René Neumann | 2011-08-10 | 1 | -0/+74 |
 |
index : dotfiles | |
| All my dotfiles | René 'Necoro' Neumann |
| summaryrefslogtreecommitdiff |