summaryrefslogtreecommitdiff
path: root/.zsh (follow)
Commit message (Expand)AuthorAgeFilesLines
* Use a different prompt color when using SSH.René 'Necoro' Neumann2009-11-171-1/+6
* Cstg stuff (alias ...)René 'Necoro' Neumann2009-11-121-0/+1
* Better hg VCS prompt support.René 'Necoro' Neumann2009-11-072-0/+82
* Add "-m iff" to isabelle callRené 'Necoro' Neumann2009-10-271-1/+1
* Do not use stgit anymore but a normal local branch.René 'Necoro' Neumann2009-10-091-2/+1
* git uses 7 digits for commit shortnames -- let us do the sameRené 'Necoro' Neumann2009-10-081-1/+1
* Add the configuration changes to zshrcRené 'Necoro' Neumann2009-10-071-0/+4
* Moved some things out of the boxRené 'Necoro' Neumann2009-10-071-10/+0
* Initial check-in of filesRené 'Necoro' Neumann2009-10-074-0/+293