dotfiles - All my dotfiles

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\| \| \| \|	Now things got added as a xkb map.
*	Gentoo zsh prompt	René 'Necoro' Neumann	2011-05-03	1	-0/+33
\|