summaryrefslogtreecommitdiff
path: root/.emacs (follow)
Commit message (Expand)AuthorAgeFilesLines
* fix default font in emacsRené Neumann2012-09-051-4/+9
* enhance isabelle-repairRené 'Necoro' Neumann2012-09-051-16/+23
* More emacs/isabelle hacksRené 'Necoro' Neumann2012-09-041-0/+17
* el-getRené Neumann2012-09-041-5/+3
* Move Emacs Custom stuff to its own fileRené Neumann2012-09-041-37/+3
* Customize Evil -- make it work with Isar ShortcutsRené Neumann2012-09-041-1/+1
* Added 'evil' mode for emacsRené Neumann2012-08-301-36/+7
* Increase sledgehammer timeoutRené Neumann2012-04-271-1/+2
* Enable auto-quickcheck in isabelleRené Neumann2012-04-271-0/+1
* More isabelle emacs stuff, especially shortcutsRené Neumann2012-03-061-1/+38
* Do not use the find-theorems-form in PGRené Neumann2012-02-231-1/+1
* Set Poly/ML as the default SML interpreter.René Neumann2011-11-211-0/+3
* Make the quotes in ProofGeneral to be nearly invisibleRené Neumann2011-10-141-1/+1
* Better inconsolata thingsRené Neumann2011-08-111-1/+1
* Inconsolata also in emacsRené Neumann2011-08-101-1/+1
* Emacs changes for new PG and Isabelle versionRené 'Necoro' Neumann2011-05-061-5/+8
* Default emacs fontRené 'Necoro' Neumann2010-09-231-0/+1
* Move emacs scrollbars to the right -- were they belongRené 'Necoro' Neumann2010-07-011-0/+3
* Update .emacs fileRené 'Necoro' Neumann2010-05-221-1/+3
* Changes to .emacsRené 'Necoro' Neumann2009-12-151-0/+8
* Wrap long lines also in horiz. split windowsRené 'Necoro' Neumann2009-12-141-0/+3
* Add line numbering for emacsRené 'Necoro' Neumann2009-10-271-1/+5
* Move the 'add emacs.d as load dir' to the beginning.René 'Necoro' Neumann2009-10-091-2/+2
* Initial check-in of filesRené 'Necoro' Neumann2009-10-071-0/+33