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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[QA] Change !use by ! use such that it negates the USE flag instead of ↵	Tom Wijsman	2014-01-07	1	-254/+0
\| \| \| \| \| \| \|	expanding history. Revision bump to ensure users get the fix accordingly. Package-Manager: portage-HEAD/cvs/Linux x86_64 Manifest-Sign-Key: 0x6D34E57D
*	Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ↵	Mark Wright	2012-12-09	1	-2/+5
\| \| \| \| \| \| \|	functionality, like using Simpl/Vcg. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
*	EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ↵	Mark Wright	2012-12-05	1	-5/+20
\| \| \| \| \| \| \|	updated. It is necessary to remove any non-existing directories from /etc/isabelle/components, as otherwise isabelle getenv ISABELLE_HOME fails, which causes reverse dependent packages of sci-mathematics/isabelle to fail. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
*	isabelle doc requires a symlink	Mark Wright	2012-09-20	1	-1/+4
\| \| \| \|	Package-Manager: portage-2.1.11.18/cvs/Linux x86_64
*	Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit ↵	Mark Wright	2012-05-30	1	-0/+233
	Prover IDE (PIDE) (2012 only, requires dev-lang/scala), ledit and readline use flags for the preferred tty line editor. Add dev-perl/libwww-perl dep. Add doc-src directory with use=doc (2012) as doc-src stuff is required when building doc some isabelle add on packages (sci-mathematics/haskabelle). Package-Manager: portage-2.1.10.63/cvs/Linux x86_64