summaryrefslogtreecommitdiff
path: root/.zsh/functions/IE (follow)
Commit message (Expand)AuthorAgeFilesLines
* IE/IJ: Session logicRené 'Necoro' Neumann2013-11-211-2/+15
* Launch isabelle in background (+ some comments and small cleanup)René Neumann2012-10-271-5/+22
* Added support for jedit.René Neumann2011-11-211-4/+10
* Enhance IE scriptRené Neumann2011-08-121-6/+7
* More advanced IE scriptRené Neumann2011-08-101-0/+74