Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2014-08-01 | [emacs] fci does not work with PG; try something else | René 'Necoro' Neumann | 3 | -2/+210 | |
2014-07-31 | [emacs] full-column-indicator | René 'Necoro' Neumann | 2 | -1/+3 | |
2014-07-31 | [emacs] Don't be evil | René 'Necoro' Neumann | 2 | -22/+1 | |
2014-06-30 | [emacs] Better highlighting of selected areas (does not clash with PG-proof | René 'Necoro' Neumann | 1 | -0/+1 | |
state anymore). | |||||
2013-11-21 | IE: Remove isub/isup: they are not supported anymore | René 'Necoro' Neumann | 1 | -1/+1 | |
2013-01-08 | PG shortcuts fix | René Neumann | 1 | -1/+1 | |
2012-10-26 | Re-Fixed PG shortcuts for sub-/superscript | René Neumann | 1 | -1/+1 | |
2012-10-26 | Fixed PG shortcuts for sub-/superscript, added infinity | René Neumann | 1 | -1/+1 | |
2012-09-05 | fix default font in emacs | René Neumann | 1 | -1/+0 | |
2012-09-05 | enhance isabelle-repair | René 'Necoro' Neumann | 1 | -1/+1 | |
2012-09-04 | More emacs/isabelle hacks | René 'Necoro' Neumann | 2 | -11/+16 | |
2012-09-04 | el-get | René Neumann | 1 | -0/+21 | |
2012-09-04 | Move Emacs Custom stuff to its own file | René Neumann | 1 | -0/+37 | |
2012-09-04 | Customize Evil -- make it work with Isar Shortcuts | René Neumann | 1 | -0/+16 | |