summaryrefslogtreecommitdiff
path: root/.emacs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Fullscreen for both vim and emacsRené Neumann2012-09-071-0/+14
|
* disable evil -- it just does not workRené Neumann2012-09-071-1/+1
|
* emacs clipboard optionsRené Neumann2012-09-071-0/+5
|
* 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