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