Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral
Commit message (Collapse)AuthorAgeFilesLines
* Remove redundant NEED_EMACS assignment. Remove old.Ulrich Müller2014-06-071-17/+13
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 9433907D693FB5B8!)
* Remove redundant NEED_EMACS assignment. Remove old.Ulrich Müller2014-06-075-152/+9
| | | | (Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 9433907D693FB5B8!)
* Remove old.Ulrich Müller2014-02-151-16/+11
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 9433907D693FB5B8!)
* Remove old.Ulrich Müller2014-02-152-46/+5
| | | | (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit with key 9433907D693FB5B8!)
* Stable for x86, wrt bug #490100Agostino Sarubbo2013-12-241-5/+15
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="x86", signed Manifest commit with key 7194459F)
* Stable for x86, wrt bug #490100Agostino Sarubbo2013-12-242-3/+6
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="x86", signed Manifest commit with key 7194459F)
* amd64 stable, bug #490100Pacho Ramos2013-12-221-16/+6
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key A188FBD4)
* amd64 stable, bug #490100Pacho Ramos2013-12-222-3/+6
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key A188FBD4)
* Stable for ppc, wrt bug #490100Agostino Sarubbo2013-12-211-14/+17
| | | | (Portage version: 2.2.1/cvs/Linux ppc64, RepoMan options: --include-arches="ppc", signed Manifest commit with key 7194459F)
* Stable for ppc, wrt bug #490100Agostino Sarubbo2013-12-212-4/+6
| | | | (Portage version: 2.2.1/cvs/Linux ppc64, RepoMan options: --include-arches="ppc", signed Manifest commit with key 7194459F)
* Version bump, bug 445242. Remove old.Ulrich Müller2013-04-221-16/+14
| | | | (Portage version: 2.1.11.62/cvs/Linux x86_64, signed Manifest commit with key 9433907D693FB5B8!)
* Version bump, bug 445242. Remove old.Ulrich Müller2013-04-223-11/+33
| | | | (Portage version: 2.1.11.62/cvs/Linux x86_64, signed Manifest commit with key 9433907D693FB5B8!)
* Don't rely on image-load-path always being defined, bug 426646.Ulrich Müller2012-07-141-16/+17
| | | | (Portage version: 2.1.11.7/cvs/Linux x86_64, signed Manifest commit with key 7DC6EA25)
* Don't rely on image-load-path always being defined, bug 426646.Ulrich Müller2012-07-143-3/+22
| | | | (Portage version: 2.1.11.7/cvs/Linux x86_64)
* Re-sign manifest.Ulrich Müller2012-07-051-0/+20
| | | | (Portage version: 2.1.11.5/cvs/Linux x86_64, signed Manifest commit with key 7DC6EA25)
* Change manifests to new hashes.Jeff Horelick2012-07-051-20/+10
| | | | (Portage version: 2.2.0_alpha115/cvs/Linux i686, unsigned Manifest commit)
* x86 stable wrt bug #404605Paweł Hajdan2012-03-081-2/+12
| | | | (Portage version: 2.1.10.44/cvs/Linux i686, signed Manifest commit with key 30427902)
* x86 stable wrt bug #404605Paweł Hajdan2012-03-082-3/+6
| | | | (Portage version: 2.1.10.44/cvs/Linux i686)
* Marking proofgeneral-4.1 ppc for bug 404605Brent Baude2012-03-011-16/+2
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64, unsigned Manifest commit)
* Marking proofgeneral-4.1 ppc for bug 404605Brent Baude2012-03-012-3/+6
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64)
* Stable for amd64, wrt bug #404605Agostino Sarubbo2012-02-261-7/+11
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 7CD2DC5D)
* Stable for amd64, wrt bug #404605Agostino Sarubbo2012-02-262-5/+8
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Version bump, bug 386465.Ulrich Müller2011-12-081-5/+8
| | | | (Portage version: 2.1.10.39/cvs/Linux x86_64, signed Manifest commit with key 8222EEEC)
* Version bump, bug 386465.Ulrich Müller2011-12-083-2/+139
| | | | (Portage version: 2.1.10.39/cvs/Linux x86_64)
* Require Emacs version 23 at least. Don't compile and install bundled ↵Ulrich Müller2010-12-071-5/+5
| | | | | | mmm-mode; depend on app-emacs/mmm-mode instead. Bug 347822. (Portage version: 2.1.9.25/cvs/Linux x86_64, signed Manifest commit with key 8222EEEC)
* Require Emacs version 23 at least. Don't compile and install bundled ↵Ulrich Müller2010-12-072-5/+18
| | | | | | mmm-mode; depend on app-emacs/mmm-mode instead. Bug 347822. (Portage version: 2.1.9.25/cvs/Linux x86_64)
* version bump, thanks to Christian D. <ThyrusG AT gmx DOT de> in bug 347822 ↵Christian Faulhammer2010-12-061-5/+7
| | | | | | for most of the work (Portage version: 2.1.9.24/cvs/Linux i686, signed Manifest commit with key 2B859DE3)
* version bump, thanks to Christian D. <ThyrusG AT gmx DOT de> in bug 347822 ↵Christian Faulhammer2010-12-062-1/+55
| | | | | | for most of the work (Portage version: 2.1.9.24/cvs/Linux i686)
* Fix parallel make issue, install html documentation, bug 304399.Ulrich Müller2010-02-111-7/+7
| | | | | (Portage version: 2.2_rc62/cvs/Linux i686) (Signed Manifest commit)
* Fix parallel make issue, install html documentation, bug 304399.Ulrich Müller2010-02-113-14/+13
| | | | (Portage version: 2.2_rc62/cvs/Linux i686)
* clean upChristian Faulhammer2009-08-171-6/+4
| | | | | (Portage version: 2.1.6.13/cvs/Linux i686) (Signed Manifest commit)
* clean upChristian Faulhammer2009-08-172-46/+5
| | | | (Portage version: 2.1.6.13/cvs/Linux i686)
* amd64 stable, bug #272471Markus Meier2009-06-111-2/+12
| | | | | (Portage version: 2.1.6.13/cvs/Linux x86_64) (Signed Manifest commit)
* amd64 stable, bug #272471Markus Meier2009-06-112-3/+6
| | | | (Portage version: 2.1.6.13/cvs/Linux x86_64)
* ppc stable #272471Gysbert Wassenaar2009-06-061-12/+2
| | | | | (Portage version: 2.1.6.13/cvs/Linux ppc) (Unsigned Manifest commit)
* ppc stable #272471Gysbert Wassenaar2009-06-062-3/+6
| | | | (Portage version: 2.1.6.13/cvs/Linux ppc)
* stable x86, bug 272471Christian Faulhammer2009-06-041-6/+6
| | | | | (Portage version: 2.1.6.11/cvs/Linux i686) (Signed Manifest commit)
* stable x86, bug 272471Christian Faulhammer2009-06-042-4/+8
| | | | (Portage version: 2.1.6.11/cvs/Linux i686)
* Version bump. Remove missing file from dodoc arguments, bug 256683.Ulrich Müller2009-01-301-6/+8
| | | | | (Portage version: 2.2_rc23/cvs/Linux i686) (Signed Manifest commit)
* Version bump. Remove missing file from dodoc arguments, bug 256683.Ulrich Müller2009-01-303-6/+57
| | | | (Portage version: 2.2_rc23/cvs/Linux i686)
* clean upChristian Faulhammer2008-12-061-7/+4
| | | | | (Portage version: 2.1.4.5) (Signed Manifest commit)
* clean upChristian Faulhammer2008-12-063-84/+6
| | | | (Portage version: 2.1.4.5)
* Fix patch to apply.Diego Elio Pettenò2008-11-171-2/+12
| | | | | (Portage version: 2.2_rc14/cvs/Linux 2.6.27-gentoo-r2 x86_64) (Signed Manifest commit)
* Fix patch to apply.Diego Elio Pettenò2008-11-172-3/+7
| | | | (Portage version: 2.2_rc14/cvs/Linux 2.6.27-gentoo-r2 x86_64)
* Stable on ppc wrt bug 215344Gysbert Wassenaar2008-04-121-12/+2
| | | | | (Portage version: 2.1.5_rc2) (Unsigned Manifest commit)
* Stable on ppc wrt bug 215344Gysbert Wassenaar2008-04-122-3/+6
| | | | (Portage version: 2.1.5_rc2)
* stable x86, bug 215344Christian Faulhammer2008-03-311-2/+12
| | | | | (Portage version: 2.1.4.4) (Signed Manifest commit)
* stable x86, bug 215344Christian Faulhammer2008-03-312-3/+7
| | | | (Portage version: 2.1.4.4)
* amd64 stable wrt bug #215344Santiago M. Mola2008-03-301-12/+2
| | | | | (Portage version: 2.1.4.4) (Unsigned Manifest commit)
* amd64 stable wrt bug #215344Santiago M. Mola2008-03-302-3/+7
| | | | (Portage version: 2.1.4.4)