Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [zsh] Port cci to new stg version | René 'Necoro' Neumann | 2022-11-15 | 1 | -5/+2 |
* | Update cci: stgit now uses python3 | René 'Necoro' Neumann | 2020-02-17 | 1 | -1/+1 |
* | [zsh] Remove obsolete isabelle functions | René 'Necoro' Neumann | 2018-06-10 | 2 | -112/+0 |
* | Enhance cci script | René 'Necoro' Neumann | 2018-06-10 | 1 | -15/+12 |
* | [zsh] Remove old VCS stuff | René 'Necoro' Neumann | 2014-09-27 | 2 | -109/+0 |
* | Remove our 'pass' wrapper | René 'Necoro' Neumann | 2014-04-14 | 1 | -96/+0 |
* | IE/IJ: Session logic | René 'Necoro' Neumann | 2013-11-21 | 1 | -2/+15 |
* | Make cci explicitly use python2 | René 'Necoro' Neumann | 2013-09-15 | 1 | -1/+1 |
* | Small changes to our pass wrapper | René 'Necoro' Neumann | 2012-11-07 | 1 | -2/+11 |
* | Add 'pass' wrapper for special entries | René 'Necoro' Neumann | 2012-11-07 | 1 | -0/+87 |
* | Launch isabelle in background (+ some comments and small cleanup) | René Neumann | 2012-10-27 | 1 | -5/+22 |
* | Added some logic to automatically fix terminfo | René Neumann | 2012-10-12 | 1 | -0/+98 |
* | Use long option-names -- adds documentation in itself | René Neumann | 2012-10-01 | 1 | -5/+5 |
* | Ignore -m in cci | René Neumann | 2012-05-29 | 1 | -0/+3 |
* | fix | René 'Necoro' Neumann | 2012-04-13 | 1 | -1/+1 |
* | fixes for zsh < 4.3.9 | René Neumann | 2012-04-10 | 1 | -4/+9 |
* | Cleanup using TRAPEXIT | René Neumann | 2012-02-23 | 1 | -3/+6 |
* | -m | René Neumann | 2012-02-23 | 1 | -14/+17 |
* | Unify cci output | René Neumann | 2012-02-23 | 1 | -10/+15 |
* | Make the stg-version into a variable ... no need to run python multiple times | René Neumann | 2012-02-23 | 1 | -6/+5 |
* | Port cci to new stgit version | René Neumann | 2012-02-23 | 1 | -3/+15 |
* | Added support for jedit. | René Neumann | 2011-11-21 | 2 | -4/+11 |
* | Enhance IE script | René Neumann | 2011-08-12 | 1 | -6/+7 |
* | Moved some functions to their own files | René Neumann | 2011-08-10 | 2 | -0/+120 |
* | More advanced IE script | René Neumann | 2011-08-10 | 1 | -0/+74 |
* | Rename 'gentoo' prompt to 'necoro' | René 'Necoro' Neumann | 2011-05-03 | 2 | -33/+33 |
* | Gentoo zsh prompt | René 'Necoro' Neumann | 2011-05-03 | 1 | -0/+33 |
* | Better hg VCS prompt support. | René 'Necoro' Neumann | 2009-11-07 | 1 | -0/+76 |
* | Initial check-in of files | René 'Necoro' Neumann | 2009-10-07 | 1 | -0/+33 |