dotfiles - All my dotfiles

	Commit message (Expand)	Author	Age	Files	Lines
*	fix default font in emacs	René Neumann	2012-09-05	1	-4/+9
*	enhance isabelle-repair	René 'Necoro' Neumann	2012-09-05	1	-16/+23
*	More emacs/isabelle hacks	René 'Necoro' Neumann	2012-09-04	1	-0/+17
*	el-get	René Neumann	2012-09-04	1	-5/+3
*	Move Emacs Custom stuff to its own file	René Neumann	2012-09-04	1	-37/+3
*	Customize Evil -- make it work with Isar Shortcuts	René Neumann	2012-09-04	1	-1/+1
*	Added 'evil' mode for emacs	René Neumann	2012-08-30	1	-36/+7
*	Increase sledgehammer timeout	René Neumann	2012-04-27	1	-1/+2
*	Enable auto-quickcheck in isabelle	René Neumann	2012-04-27	1	-0/+1
*	More isabelle emacs stuff, especially shortcuts	René Neumann	2012-03-06	1	-1/+38
*	Do not use the find-theorems-form in PG	René Neumann	2012-02-23	1	-1/+1
*	Set Poly/ML as the default SML interpreter.	René Neumann	2011-11-21	1	-0/+3
*	Make the quotes in ProofGeneral to be nearly invisible	René Neumann	2011-10-14	1	-1/+1
*	Better inconsolata things	René Neumann	2011-08-11	1	-1/+1
*	Inconsolata also in emacs	René Neumann	2011-08-10	1	-1/+1
*	Emacs changes for new PG and Isabelle version	René 'Necoro' Neumann	2011-05-06	1	-5/+8
*	Default emacs font	René 'Necoro' Neumann	2010-09-23	1	-0/+1
*	Move emacs scrollbars to the right -- were they belong	René 'Necoro' Neumann	2010-07-01	1	-0/+3
*	Update .emacs file	René 'Necoro' Neumann	2010-05-22	1	-1/+3
*	Changes to .emacs	René 'Necoro' Neumann	2009-12-15	1	-0/+8
*	Wrap long lines also in horiz. split windows	René 'Necoro' Neumann	2009-12-14	1	-0/+3
*	Add line numbering for emacs	René 'Necoro' Neumann	2009-10-27	1	-1/+5
*	Move the 'add emacs.d as load dir' to the beginning.	René 'Necoro' Neumann	2009-10-09	1	-2/+2
*	Initial check-in of files	René 'Necoro' Neumann	2009-10-07	1	-0/+33