Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Cstg stuff (alias ...) | René 'Necoro' Neumann | 2009-11-12 | 1 | -0/+1 | |
| | ||||||
* | Better hg VCS prompt support. | René 'Necoro' Neumann | 2009-11-07 | 1 | -0/+6 | |
| | ||||||
* | Add "-m iff" to isabelle call | René 'Necoro' Neumann | 2009-10-27 | 1 | -1/+1 | |
| | ||||||
* | Do not use stgit anymore but a normal local branch. | René 'Necoro' Neumann | 2009-10-09 | 1 | -2/+1 | |
| | ||||||
* | git uses 7 digits for commit shortnames -- let us do the same | René 'Necoro' Neumann | 2009-10-08 | 1 | -1/+1 | |
| | ||||||
* | Add the configuration changes to zshrc | René 'Necoro' Neumann | 2009-10-07 | 1 | -0/+4 | |
| | ||||||
* | Initial check-in of files | René 'Necoro' Neumann | 2009-10-07 | 1 | -0/+197 | |