Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Expand Emacs local variables | Christian Faulhammer | 2009-04-23 | 1 | -1/+3 |
* | Add prefixes to labels. | Christian Faulhammer | 2009-02-20 | 1 | -1/+1 |
* | Make it usable for Emacs, too | Christian Faulhammer | 2008-03-16 | 1 | -0/+5 |
* | exchange bulletlist with compactitem in all files | Christian Faulhammer | 2008-03-16 | 1 | -4/+4 |
* | Explicitly forbid calling phase functions multiple times | Ciaran McCreesh | 2008-02-19 | 1 | -0/+2 |
* | Add invariancy requirements | Ciaran McCreesh | 2008-02-19 | 1 | -0/+30 |