summaryrefslogtreecommitdiff
path: root/.emacs.d (follow)
Commit message (Collapse)AuthorAgeFilesLines
* [emacs] fci does not work with PG; try something elseRené 'Necoro' Neumann2014-08-013-2/+210
|
* [emacs] full-column-indicatorRené 'Necoro' Neumann2014-07-312-1/+3
|
* [emacs] Don't be evilRené 'Necoro' Neumann2014-07-312-22/+1
|
* [emacs] Better highlighting of selected areas (does not clash with PG-proofRené 'Necoro' Neumann2014-06-301-0/+1
| | | | state anymore).
* IE: Remove isub/isup: they are not supported anymoreRené 'Necoro' Neumann2013-11-211-1/+1
|
* PG shortcuts fixRené Neumann2013-01-081-1/+1
|
* Re-Fixed PG shortcuts for sub-/superscriptRené Neumann2012-10-261-1/+1
|
* Fixed PG shortcuts for sub-/superscript, added infinityRené Neumann2012-10-261-1/+1
|
* fix default font in emacsRené Neumann2012-09-051-1/+0
|
* enhance isabelle-repairRené 'Necoro' Neumann2012-09-051-1/+1
|
* More emacs/isabelle hacksRené 'Necoro' Neumann2012-09-042-11/+16
|
* el-getRené Neumann2012-09-041-0/+21
|
* Move Emacs Custom stuff to its own fileRené Neumann2012-09-041-0/+37
|
* Customize Evil -- make it work with Isar ShortcutsRené Neumann2012-09-041-0/+16
|
* Initial check-in of filesRené 'Necoro' Neumann2009-10-071-0/+0