repo/gentoo/historical.git - Gentoo ebuild repository HISTORICAL read-only tree

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