Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2012-03-06 | More isabelle emacs stuff, especially shortcuts | René Neumann | 1 | -1/+38 |
2012-02-23 | vim-latex additions | René 'Necoro' Neumann | 2 | -0/+5 |
2012-02-23 | Cleanup using TRAPEXIT | René Neumann | 1 | -3/+6 |
2012-02-23 | Remove useless aliases | René Neumann | 1 | -4/+0 |
2012-02-23 | -m | René Neumann | 1 | -14/+17 |
2012-02-23 | Unify cci output | René Neumann | 1 | -10/+15 |
2012-02-23 | Make the stg-version into a variable ... no need to run python multiple times | René Neumann | 1 | -6/+5 |
2012-02-23 | Port cci to new stgit version | René Neumann | 2 | -4/+19 |
2012-02-23 | Do not use the find-theorems-form in PG | René Neumann | 1 | -1/+1 |
2012-01-30 | ebuild_error_on_trailing_whitespace is deprecated | René 'Necoro' Neumann | 1 | -1/+0 |
2012-01-10 | Add 'block' command to mako syntax | René 'Necoro' Neumann | 1 | -2/+2 |
2012-01-10 | Changes needed for haddock browser. | René 'Necoro' Neumann | 1 | -1/+2 |
2011-12-09 | Update haskellmode | René Neumann | 1 | -2/+1 |
2011-12-09 | Update haskellmode | René Neumann | 5 | -82/+228 |
2011-11-21 | Set Poly/ML as the default SML interpreter. | René Neumann | 1 | -0/+3 |
2011-11-21 | Added support for jedit. | René Neumann | 2 | -4/+11 |
2011-11-16 | Make 'hg k' work similar to 'git k' | René 'Necoro' Neumann | 1 | -0/+3 |
2011-10-14 | 'tabgroup' -> 'tabgroups' | René 'Necoro' Neumann | 1 | -1/+1 |
2011-10-14 | Switch from openoffice alias to libreoffice (ooffice -> soffice) | René 'Necoro' Neumann | 1 | -2/+2 |
2011-10-14 | Make the quotes in ProofGeneral to be nearly invisible | René Neumann | 1 | -1/+1 |
2011-08-23 | Disable hightlighting of the domain in the FF urlbar | René Neumann | 1 | -0/+3 |
2011-08-12 | Enhance IE script | René Neumann | 1 | -6/+7 |
2011-08-11 | Bla | René 'Necoro' Neumann | 1 | -0/+2 |
2011-08-11 | Local fonts | René 'Necoro' Neumann | 1 | -13/+22 |
2011-08-11 | Better inconsolata things | René Neumann | 4 | -4/+13 |
2011-08-10 | Moved some functions to their own files | René Neumann | 3 | -124/+120 |
2011-08-10 | More advanced IE script | René Neumann | 2 | -1/+74 |
2011-08-10 | Inconsolata also in emacs | René Neumann | 1 | -1/+1 |
2011-08-10 | Better vim fonts | René 'Necoro' Neumann | 1 | -1/+1 |
2011-08-09 | ooffice alias | René Neumann | 1 | -0/+2 |
2011-08-09 | Update the needed hg-extensions. | René Neumann | 1 | -1/+2 |
2011-06-08 | gtkrc stuff for Qt-Gtk-Style | René 'Necoro' Neumann | 2 | -0/+8 |
2011-06-08 | Updated fonts.conf to work better on lcds | René 'Necoro' Neumann | 1 | -17/+6 |