summaryrefslogtreecommitdiff
path: root/.zsh/functions/IE (follow)
Commit message (Collapse)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
>René 'Necoro' Neumann1-1/+1 2020-05-07Unified publishedDate and updatedDate into one (just as the old feed2imap...)René 'Necoro' Neumann5-21/+32 2020-05-06Print version during startupRené 'Necoro' Neumann1-1/+1 2020-05-06Improve templateRené 'Necoro' Neumann3-20/+28 2020-05-05Fix pipelineRené 'Necoro' Neumann1-2/+5 2020-05-05Make changelog a part of the release pipeline (untested)René 'Necoro' Neumann2-0/+12