Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | Zsh-Bindings for linux-term | René 'Necoro' Neumann | 2011-06-05 | 1 | -1/+1 |
* | Fix | René 'Necoro' Neumann | 2011-05-07 | 1 | -1/+1 |
* | Emacs changes for new PG and Isabelle version | René 'Necoro' Neumann | 2011-05-06 | 1 | -5/+8 |
* | Rename 'gentoo' prompt to 'necoro' | René 'Necoro' Neumann | 2011-05-03 | 3 | -34/+34 |
* | Better setup for the xinitrc stuff. | René 'Necoro' Neumann | 2011-05-03 | 4 | -3/+7 |