Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral/proofgeneral-3.7.1.ebuild
Commit message (Expand)AuthorAgeFilesLines
* amd64 stable, bug #272471Markus Meier2009-06-111-2/+2
* ppc stable #272471Gysbert Wassenaar2009-06-061-2/+2
* stable x86, bug 272471Christian Faulhammer2009-06-041-2/+2
* Version bump. Remove missing file from dodoc arguments, bug 256683.Ulrich Müller2009-01-301-0/+45