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