Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2011-05-06 | Emacs changes for new PG and Isabelle version | René 'Necoro' Neumann | 1 | -5/+8 |
2011-05-03 | Rename 'gentoo' prompt to 'necoro' | René 'Necoro' Neumann | 3 | -34/+34 |
2011-05-03 | Better setup for the xinitrc stuff. | René 'Necoro' Neumann | 4 | -3/+7 |