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

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