Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Re-Fixed PG shortcuts for sub-/superscript | René Neumann | 2012-10-26 | 1 | -1/+1 |
* | Fixed PG shortcuts for sub-/superscript, added infinity | René Neumann | 2012-10-26 | 1 | -1/+1 |
* | fix default font in emacs | René Neumann | 2012-09-05 | 1 | -1/+0 |
* | enhance isabelle-repair | René 'Necoro' Neumann | 2012-09-05 | 1 | -1/+1 |
* | More emacs/isabelle hacks | René 'Necoro' Neumann | 2012-09-04 | 2 | -11/+16 |
* | el-get | René Neumann | 2012-09-04 | 1 | -0/+21 |
* | Move Emacs Custom stuff to its own file | René Neumann | 2012-09-04 | 1 | -0/+37 |
* | Customize Evil -- make it work with Isar Shortcuts | René Neumann | 2012-09-04 | 1 | -0/+16 |
* | Initial check-in of files | René 'Necoro' Neumann | 2009-10-07 | 1 | -0/+0 |