Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Global git ignore | René 'Necoro' Neumann | 2012-09-12 | 2 | -0/+6 | |
| | ||||||
* | Remove unneeded .gitmodules | René Neumann | 2012-09-10 | 1 | -3/+0 | |
| | ||||||
* | Fullscreen for both vim and emacs | René Neumann | 2012-09-07 | 2 | -0/+33 | |
| | ||||||
* | 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 | |
| | ||||||
* | vim: toggling | René 'Necoro' Neumann | 2012-09-06 | 1 | -1/+11 | |
| | ||||||
* | remove nasty input bindings of a.vim | René 'Necoro' Neumann | 2012-09-05 | 1 | -0/+5 | |
| | ||||||
* | fix default font in emacs | René Neumann | 2012-09-05 | 2 | -5/+9 | |
| | ||||||
* | enhance isabelle-repair | René 'Necoro' Neumann | 2012-09-05 | 2 | -17/+24 | |
| | ||||||
* | More emacs/isabelle hacks | René 'Necoro' Neumann | 2012-09-04 | 3 | -11/+33 | |
| | ||||||
* | Remove VimballRecord | René Neumann | 2012-09-04 | 1 | -1/+0 | |
| | ||||||
* | More vim bundles | René Neumann | 2012-09-04 | 1 | -0/+7 | |
| | ||||||
* | Move to bundles in vim -- also remove old craft | René Neumann | 2012-09-04 | 83 | -27488/+42 | |
| | ||||||
* | el-get | René Neumann | 2012-09-04 | 2 | -5/+24 | |
| | ||||||
* | Move Emacs Custom stuff to its own file | René Neumann | 2012-09-04 | 2 | -37/+40 | |
| | ||||||
* | Customize Evil -- make it work with Isar Shortcuts | René Neumann | 2012-09-04 | 2 | -1/+17 | |
| | ||||||
* | Added record hg extension | René 'Necoro' Neumann | 2012-08-30 | 1 | -0/+1 | |
| | ||||||
* | Added 'evil' mode for emacs | René Neumann | 2012-08-30 | 1 | -36/+7 | |
| | ||||||
* | Start gpg-agent on login. | René 'Necoro' Neumann | 2012-06-12 | 1 | -1/+1 | |
| | ||||||
* | Alias for bsdtar | René Neumann | 2012-06-12 | 1 | -0/+1 | |
| | ||||||
* | Start gpg-agent on X-Startup | René Neumann | 2012-06-08 | 1 | -0/+1 | |
| | ||||||
* | AK --> amd64 | René 'Necoro' Neumann | 2012-05-31 | 1 | -1/+1 | |
| | ||||||
* | Ignore -m in cci | René Neumann | 2012-05-29 | 1 | -0/+3 | |
| | ||||||
* | Force man to not use localized man-pages | René Neumann | 2012-05-29 | 1 | -0/+3 | |
| | ||||||
* | Revert "It uses pinentry directly -- so no use to play around with ssh-add" | René 'Necoro' Neumann | 2012-05-21 | 1 | -0/+6 | |
| | | | | | | | This reverts commit 2bfaec3cc8e02a10dfc28e5bd2f6298ccb7bfaf5. As it showed, we got pinentry only because xfce had the wicked idea of starting gpg-agent instead of ssh-agent. | |||||
* | It uses pinentry directly -- so no use to play around with ssh-add | René Neumann | 2012-05-20 | 1 | -6/+0 | |
| | ||||||
* | Added script for remote help | René Neumann | 2012-05-19 | 1 | -0/+41 | |
| | ||||||
* | Moved mozpluggerrc to the user-dir | René Neumann | 2012-05-11 | 1 | -0/+44 | |
| | ||||||
* | Increase sledgehammer timeout | René Neumann | 2012-04-27 | 1 | -1/+2 | |
| | ||||||
* | Enable auto-quickcheck in isabelle | René Neumann | 2012-04-27 | 1 | -0/+1 | |
| | ||||||
* | fix | René 'Necoro' Neumann | 2012-04-13 | 1 | -1/+1 | |
| | ||||||
* | gitconfig cleanup | René Neumann | 2012-04-13 | 1 | -1/+1 | |
| | ||||||
* | gui -> gui_running | René Neumann | 2012-04-10 | 1 | -1/+1 | |
| | ||||||
* | Disable cursorline in non-GUI for VIM | René Neumann | 2012-04-10 | 1 | -0/+2 | |
| | ||||||
* | fixes for zsh < 4.3.9 | René Neumann | 2012-04-10 | 2 | -6/+11 | |
| | ||||||
* | Move Latex stuff into general vim-config | René Neumann | 2012-04-10 | 1 | -0/+6 | |
| | ||||||
* | More isabelle emacs stuff, especially shortcuts | René Neumann | 2012-03-06 | 1 | -1/+38 | |
| | ||||||
* | vim-latex additions | René 'Necoro' Neumann | 2012-02-23 | 2 | -0/+5 | |
| | ||||||
* | Cleanup using TRAPEXIT | René Neumann | 2012-02-23 | 1 | -3/+6 | |
| | ||||||
* | Remove useless aliases | René Neumann | 2012-02-23 | 1 | -4/+0 | |
| | ||||||
* | -m | René Neumann | 2012-02-23 | 1 | -14/+17 | |
| | ||||||
* | Unify cci output | René Neumann | 2012-02-23 | 1 | -10/+15 | |
| | ||||||
* | Make the stg-version into a variable ... no need to run python multiple times | René Neumann | 2012-02-23 | 1 | -6/+5 | |
| | ||||||
* | Merge branch 'master' of necoro.eu:dotfiles | René 'Necoro' Neumann | 2012-02-23 | 2 | -4/+4 | |
|\ | ||||||
| * | ebuild_error_on_trailing_whitespace is deprecated | René 'Necoro' Neumann | 2012-01-30 | 1 | -1/+0 | |
| | | ||||||
| * | Add 'block' command to mako syntax | René 'Necoro' Neumann | 2012-01-10 | 1 | -2/+2 | |
| | | ||||||
| * | Changes needed for haddock browser. | René 'Necoro' Neumann | 2012-01-10 | 1 | -1/+2 | |
| | | ||||||
* | | Port cci to new stgit version | René Neumann | 2012-02-23 | 2 | -4/+19 | |
| | | ||||||
* | | Do not use the find-theorems-form in PG | René Neumann | 2012-02-23 | 1 | -1/+1 | |
|/ | ||||||
* | Update haskellmode | René Neumann | 2011-12-09 | 1 | -2/+1 | |
| |