| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |