Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | |
| | ||||||
* | Update haskellmode | René Neumann | 2011-12-09 | 5 | -82/+228 | |
| | ||||||
* | Set Poly/ML as the default SML interpreter. | René Neumann | 2011-11-21 | 1 | -0/+3 | |
| | ||||||
* | Added support for jedit. | René Neumann | 2011-11-21 | 2 | -4/+11 | |
| | ||||||
* | Make 'hg k' work similar to 'git k' | René 'Necoro' Neumann | 2011-11-16 | 1 | -0/+3 | |
| | ||||||
* | 'tabgroup' -> 'tabgroups' | René 'Necoro' Neumann | 2011-10-14 | 1 | -1/+1 | |
| | ||||||
* | Switch from openoffice alias to libreoffice (ooffice -> soffice) | René 'Necoro' Neumann | 2011-10-14 | 1 | -2/+2 | |
| | ||||||
* | Make the quotes in ProofGeneral to be nearly invisible | René Neumann | 2011-10-14 | 1 | -1/+1 | |
| | ||||||
* | Disable hightlighting of the domain in the FF urlbar | René Neumann | 2011-08-23 | 1 | -0/+3 | |
| | ||||||
* | Enhance IE script | René Neumann | 2011-08-12 | 1 | -6/+7 | |
| | ||||||
* | Bla | René 'Necoro' Neumann | 2011-08-11 | 1 | -0/+2 | |
| | ||||||
* | Local fonts | René 'Necoro' Neumann | 2011-08-11 | 1 | -13/+22 | |
| | ||||||
* | Better inconsolata things | René Neumann | 2011-08-11 | 4 | -4/+13 | |
| | ||||||
* | Moved some functions to their own files | René Neumann | 2011-08-10 | 3 | -124/+120 | |
| | ||||||
* | More advanced IE script | René Neumann | 2011-08-10 | 2 | -1/+74 | |
| | ||||||
* | Inconsolata also in emacs | René Neumann | 2011-08-10 | 1 | -1/+1 | |
| | ||||||
* | Better vim fonts | René 'Necoro' Neumann | 2011-08-10 | 1 | -1/+1 | |
| | ||||||
* | ooffice alias | René Neumann | 2011-08-09 | 1 | -0/+2 | |
| | ||||||
* | Update the needed hg-extensions. | René Neumann | 2011-08-09 | 1 | -1/+2 | |
| | ||||||
* | gtkrc stuff for Qt-Gtk-Style | René 'Necoro' Neumann | 2011-06-08 | 2 | -0/+8 | |
| | ||||||
* | Updated fonts.conf to work better on lcds | René 'Necoro' Neumann | 2011-06-08 | 1 | -17/+6 | |
| | ||||||
* | fonts.conf | René 'Necoro' Neumann | 2011-06-06 | 1 | -0/+38 | |
| | ||||||
* | Fix the last commit | René 'Necoro' Neumann | 2011-06-06 | 1 | -2/+2 | |
| |