summaryrefslogtreecommitdiff
path: root/.emacs.d/custom.el (unfollow)
Commit message (Expand)AuthorFilesLines
2014-08-01[emacs] fci does not work with PG; try something elseRené 'Necoro' Neumann1-1/+1
2014-07-31[emacs] full-column-indicatorRené 'Necoro' Neumann1-0/+2
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-04More emacs/isabelle hacksRené 'Necoro' Neumann1-8/+8
2012-09-04Move Emacs Custom stuff to its own fileRené Neumann1-33/+0
2012-09-04Customize Evil -- make it work with Isar ShortcutsRené Neumann1-1/+1
2012-08-30Added 'evil' mode for emacsRené Neumann1-36/+7
2012-04-27Increase sledgehammer timeoutRené Neumann1-1/+2
2012-04-27Enable auto-quickcheck in isabelleRené Neumann1-0/+1
2012-03-06More isabelle emacs stuff, especially shortcutsRené Neumann1-1/+38
2012-02-23Do not use the find-theorems-form in PGRené Neumann1-1/+1
2011-11-21Set Poly/ML as the default SML interpreter.René Neumann1-0/+3
2011-10-14Make the quotes in ProofGeneral to be nearly invisibleRené Neumann1-1/+1
2011-08-11Better inconsolata thingsRené Neumann1-1/+1
2011-08-10Inconsolata also in emacsRené Neumann1-1/+1
2011-05-06Emacs changes for new PG and Isabelle versionRené 'Necoro' Neumann1-5/+8
2010-09-23Default emacs fontRené 'Necoro' Neumann1-0/+1
2010-07-01Move emacs scrollbars to the right -- were they belongRené 'Necoro' Neumann1-0/+3
2010-05-22Update .emacs fileRené 'Necoro' Neumann1-1/+3
2009-12-15Changes to .emacsRené 'Necoro' Neumann1-0/+8
2009-12-14Wrap long lines also in horiz. split windowsRené 'Necoro' Neumann1-0/+3
2009-10-27Add line numbering for emacsRené 'Necoro' Neumann1-1/+5
2009-10-09Move the 'add emacs.d as load dir' to the beginning.René 'Necoro' Neumann1-2/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-09 11:08:19 +0000