gentoo/overlay - My personal overlay

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