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
\|
*	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