archive/repo/gentoo-2.git - Another conversion of the historical gentoo-x86 ebuild repository

	Commit message (Expand)	Author	Age	Files	Lines
*	Slot scala	Mark Wright	2015-04-17	1	-1/+9
*	Fix Bug 542710 - sci-mathematics/isabelle-2013.2 - Couldn't download 'Isabell...	Mark Wright	2015-03-25	1	-1/+7
*	Bump isabelle to 2013.2. Fix Bug 536324 - sci-mathematics/isabelle: Slot depe...	Mark Wright	2015-01-25	1	-2/+12
*	[QA] Change !use by ! use such that it negates the USE flag instead of expand...	Tom Wijsman	2014-01-07	1	-2/+12
*	Fix SRC_URI and HOMEPAGE (case-sensitive).	Zac Medico	2013-09-01	1	-1/+4
*	Bump isabelle to 2013, fixes bug 468344	Mark Wright	2013-08-31	1	-1/+9
*	Fix XML.	Jeroen Roovers	2013-05-03	1	-2/+5
*	EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ...	Mark Wright	2012-12-05	1	-1/+8
*	isabelle doc requires a symlink	Mark Wright	2012-09-20	1	-2/+5
*	Patch signal handling: http://article.gmane.org/gmane.science.mathematics.log...	Mark Wright	2012-06-15	1	-1/+10
*	Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover...	Mark Wright	2012-05-30	1	-1/+16
*	Fix bug #400961, thanks to Mr. Anderson for report and fix.	Mark Wright	2012-01-30	1	-1/+5
*	Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add \|\| die ...	Mark Wright	2012-01-09	1	-1/+5
*	New ebuild, thanks Mr. Anderson for earlier version, fixes #397995	Mark Wright	2012-01-08	1	-0/+11