Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2014-08-01 | [emacs] fci does not work with PG; try something else | René 'Necoro' Neumann | 1 | -1/+2 |
2014-07-31 | [emacs] full-column-indicator | René 'Necoro' Neumann | 1 | -0/+3 |
2014-07-31 | [emacs] Don't be evil | René 'Necoro' Neumann | 1 | -2/+2 |
2013-08-05 | Add "3-Panes"-Toggle to PG | René 'Necoro' Neumann | 1 | -0/+13 |
2013-01-17 | Also fix quick-and-dirty in PG | René Neumann | 1 | -0/+1 |
2012-09-07 | Fullscreen for both vim and emacs | René Neumann | 1 | -0/+14 |
2012-09-07 | disable evil -- it just does not work | René Neumann | 1 | -1/+1 |
2012-09-07 | emacs clipboard options | René Neumann | 1 | -0/+5 |
2012-09-05 | fix default font in emacs | René Neumann | 1 | -4/+9 |
2012-09-05 | enhance isabelle-repair | René 'Necoro' Neumann | 1 | -16/+23 |
2012-09-04 | More emacs/isabelle hacks | René 'Necoro' Neumann | 1 | -0/+17 |
2012-09-04 | el-get | René Neumann | 1 | -5/+3 |
2012-09-04 | Move Emacs Custom stuff to its own file | René Neumann | 1 | -37/+3 |
2012-09-04 | Customize Evil -- make it work with Isar Shortcuts | René Neumann | 1 | -1/+1 |
2012-08-30 | Added 'evil' mode for emacs | René Neumann | 1 | -36/+7 |
2012-04-27 | Increase sledgehammer timeout | René Neumann | 1 | -1/+2 |
2012-04-27 | Enable auto-quickcheck in isabelle | René Neumann | 1 | -0/+1 |
2012-03-06 | More isabelle emacs stuff, especially shortcuts | René Neumann | 1 | -1/+38 |
2012-02-23 | Do not use the find-theorems-form in PG | René Neumann | 1 | -1/+1 |
2011-11-21 | Set Poly/ML as the default SML interpreter. | René Neumann | 1 | -0/+3 |
2011-10-14 | Make the quotes in ProofGeneral to be nearly invisible | René Neumann | 1 | -1/+1 |
2011-08-11 | Better inconsolata things | René Neumann | 1 | -1/+1 |
2011-08-10 | Inconsolata also in emacs | René Neumann | 1 | -1/+1 |
2011-05-06 | Emacs changes for new PG and Isabelle version | René 'Necoro' Neumann | 1 | -5/+8 |
2010-09-23 | Default emacs font | René 'Necoro' Neumann | 1 | -0/+1 |
2010-07-01 | Move emacs scrollbars to the right -- were they belong | René 'Necoro' Neumann | 1 | -0/+3 |
2010-05-22 | Update .emacs file | René 'Necoro' Neumann | 1 | -1/+3 |
2009-12-15 | Changes to .emacs | René 'Necoro' Neumann | 1 | -0/+8 |
2009-12-14 | Wrap long lines also in horiz. split windows | René 'Necoro' Neumann | 1 | -0/+3 |
2009-10-27 | Add line numbering for emacs | René 'Necoro' Neumann | 1 | -1/+5 |
2009-10-09 | Move the 'add emacs.d as load dir' to the beginning. | René 'Necoro' Neumann | 1 | -2/+2 |