dotfiles - All my dotfiles

	Commit message (Collapse)	Author	Age	Files	Lines
*	PG shortcuts fix	René Neumann	2013-01-08	1	-1/+1
\|
*	Re-Fixed PG shortcuts for sub-/superscript	René Neumann	2012-10-26	1	-1/+1
\|
*	Fixed PG shortcuts for sub-/superscript, added infinity	René Neumann	2012-10-26	1	-1/+1
\|
*	fix default font in emacs	René Neumann	2012-09-05	1	-1/+0
\|
*	enhance isabelle-repair	René 'Necoro' Neumann	2012-09-05	1	-1/+1
\|
*	More emacs/isabelle hacks	René 'Necoro' Neumann	2012-09-04	2	-11/+16
\|
*	el-get	René Neumann	2012-09-04	1	-0/+21
\|
*	Move Emacs Custom stuff to its own file	René Neumann	2012-09-04	1	-0/+37
\|
*	Customize Evil -- make it work with Isar Shortcuts	René Neumann	2012-09-04	1	-0/+16
\|
*	Initial check-in of files	René 'Necoro' Neumann	2009-10-07	1	-0/+0