summaryrefslogtreecommitdiff
path: root/.emacs.d/custom.el (follow)
Commit message (Collapse)AuthorAgeFilesLines
* [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
|
* More emacs/isabelle hacksRené 'Necoro' Neumann2012-09-041-8/+8
|
* Move Emacs Custom stuff to its own fileRené Neumann2012-09-041-0/+37