summaryrefslogtreecommitdiff
path: root/.emacs.d (unfollow)
Commit message (Expand)AuthorFilesLines
2014-08-01[emacs] fci does not work with PG; try something elseRené 'Necoro' Neumann3-2/+210
2014-07-31[emacs] full-column-indicatorRené 'Necoro' Neumann2-1/+3
2014-07-31[emacs] Don't be evilRené 'Necoro' Neumann2-22/+1
2014-06-30[emacs] Better highlighting of selected areas (does not clash with PG-proofRené 'Necoro' Neumann1-0/+1
2013-11-21IE: Remove isub/isup: they are not supported anymoreRené 'Necoro' Neumann1-1/+1
2013-01-08PG shortcuts fixRené Neumann1-1/+1
2012-10-26Re-Fixed PG shortcuts for sub-/superscriptRené Neumann1-1/+1
2012-10-26Fixed PG shortcuts for sub-/superscript, added infinityRené Neumann1-1/+1
2012-09-05fix default font in emacsRené Neumann1-1/+0
2012-09-05enhance isabelle-repairRené 'Necoro' Neumann1-1/+1
2012-09-04More emacs/isabelle hacksRené 'Necoro' Neumann2-11/+16
2012-09-04el-getRené Neumann1-0/+21
2012-09-04Move Emacs Custom stuff to its own fileRené Neumann1-0/+37
2012-09-04Customize Evil -- make it work with Isar ShortcutsRené Neumann1-0/+16
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-27 10:05:19 +0000