Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |