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

	Commit message (Expand)	Author	Age	Files	Lines
*	Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir unecess...	Mark Wright	2013-08-23	1	-5/+5
*	Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir unecess...	Mark Wright	2013-08-23	2	-14/+9
*	Bump E to 1.8 Jun Gopaldhara.	Mark Wright	2013-08-23	1	-4/+6
*	Bump E to 1.8 Jun Gopaldhara.	Mark Wright	2013-08-23	2	-2/+132
*	Bump E to 1.8 Jun Gopaldhara.	Mark Wright	2013-08-23	1	-6/+6
*	Bump E to 1.8 Jun Gopaldhara.	Mark Wright	2013-08-23	2	-3/+6
*	fix bug 466776 - typo in email address	Mark Wright	2013-05-24	1	-5/+5
*	fix bug 466776 - typo in email address	Mark Wright	2013-05-24	2	-3/+7
*	EAPI=5 with subslot depends to automatically rebuild e when isabelle is updat...	Mark Wright	2012-12-05	1	-6/+6
*	EAPI=5 with subslot depends to automatically rebuild e when isabelle is updat...	Mark Wright	2012-12-05	3	-23/+21
*	Bump E to 1.6 Tiger Hill	Mark Wright	2012-09-20	1	-8/+10
*	Bump E to 1.6 Tiger Hill	Mark Wright	2012-09-20	2	-2/+137
*	Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.	Mark Wright	2012-05-30	1	-0/+14
*	Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.	Mark Wright	2012-05-30	3	-0/+171