summaryrefslogtreecommitdiff
path: root/.zsh/functions/IE (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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