gentoo/overlay - My personal overlay

	Commit message (Collapse)	Author	Age	Files	Lines
*	PolyML-5.5.1	René 'Necoro' Neumann	2013-10-11	7	-0/+255
\|
*	Bump mlton	René 'Necoro' Neumann	2013-10-01	2	-0/+65
\|
*	Remove mlton -- included in main tree	René 'Necoro' Neumann	2013-07-01	2	-62/+0
\|
*	Removed outdated packages	René 'Necoro' Neumann	2012-02-18	3	-71/+0
\|
*	Mlton	René Neumann	2012-02-17	2	-0/+62
\|
*	polyml	René Neumann	2011-07-27	2	-0/+40
\|
*	Added newer PolyML version for Isabelle	René 'Necoro' Neumann	2010-03-02	2	-0/+31