summaryrefslogtreecommitdiff
path: root/.emacs.d (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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