I intend to add sci-mathematics/isabelle to the cvs portage tree, my ebuild is based on prior work: http://forums.gentoo.org/viewtopic-t-735599-start-0.html Reproducible: Didn't try
Created attachment 298313 [details] isabelle 2011-1 ebuild
Created attachment 298315 [details] metadata with package and use flag descriptions
Created attachment 298317 [details] browser build patch
Created attachment 298319 [details] use gentoo proof general patch
Added sci-mathematics/isabelle-2011.1 to portage.