Index of /sci-mathematics/isabelle

Anonymous Access: cvs -d :pserver:anonymous@anoncvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/isabelle

Developer Access: cvs -d :ext:${USER}@cvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/isabelle

More Information: http://anoncvs.gentoo.org/

File		Rev.	Age	Author	Last log entry
Parent Directory
files/					(from /)
Manifest		1.9	6 weeks	jer	Fix XML. (Portage version: 2.2.0_alpha173/cvs/Linux x86_64, signed Manifest com…
metadata.xml		1.4	6 weeks	jer	Fix XML. (Portage version: 2.2.0_alpha173/cvs/Linux x86_64, signed Manifest com…
ChangeLog		1.8	6 weeks	jer	Fix XML. (Portage version: 2.2.0_alpha173/cvs/Linux x86_64, signed Manifest com…
isabelle-2011.1-r1.ebuild		1.4	6 months	gienah	Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some fun…
isabelle-2012.ebuild		1.5	6 months	gienah	Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some fun…
isabelle-2011.1.ebuild		1.3	16 months	gienah	Fix bug #400961, thanks to Mr. Anderson for report and fix. (Portage version: 2…