Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/isabelle
Commit message (Expand)AuthorAgeFilesLines
* Fix bug #400961, thanks to Mr. Anderson for report and fix.Mark Wright2012-01-301-6/+6
* Fix bug #400961, thanks to Mr. Anderson for report and fix.Mark Wright2012-01-303-3/+10
* Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ...Mark Wright2012-01-091-5/+5
* Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die ...Mark Wright2012-01-092-24/+22
* New ebuild, thanks Mr. Anderson for earlier version, fixes #397995Mark Wright2012-01-081-0/+16
* New ebuild, thanks Mr. Anderson for earlier version, fixes #397995Mark Wright2012-01-085-0/+245