Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral/Manifest
Commit message (Expand)AuthorAgeFilesLines
* Remove old.Ulrich Müller2014-02-151-16/+11
* Stable for x86, wrt bug #490100Agostino Sarubbo2013-12-241-5/+15
* amd64 stable, bug #490100Pacho Ramos2013-12-221-16/+6
* Stable for ppc, wrt bug #490100Agostino Sarubbo2013-12-211-14/+17
* Version bump, bug 445242. Remove old.Ulrich Müller2013-04-221-16/+14
* Don't rely on image-load-path always being defined, bug 426646.Ulrich Müller2012-07-141-16/+17
* Re-sign manifest.Ulrich Müller2012-07-051-0/+20
* Change manifests to new hashes.Jeff Horelick2012-07-051-20/+10
* x86 stable wrt bug #404605Paweł Hajdan2012-03-081-2/+12
* Marking proofgeneral-4.1 ppc for bug 404605Brent Baude2012-03-011-16/+2
* Stable for amd64, wrt bug #404605Agostino Sarubbo2012-02-261-7/+11
* Version bump, bug 386465.Ulrich Müller2011-12-081-5/+8
* Require Emacs version 23 at least. Don't compile and install bundled mmm-mode...Ulrich Müller2010-12-071-5/+5
* version bump, thanks to Christian D. <ThyrusG AT gmx DOT de> in bug 347822 fo...Christian Faulhammer2010-12-061-5/+7
* Fix parallel make issue, install html documentation, bug 304399.Ulrich Müller2010-02-111-7/+7
* clean upChristian Faulhammer2009-08-171-6/+4
* amd64 stable, bug #272471Markus Meier2009-06-111-2/+12
* ppc stable #272471Gysbert Wassenaar2009-06-061-12/+2
* stable x86, bug 272471Christian Faulhammer2009-06-041-6/+6
* Version bump. Remove missing file from dodoc arguments, bug 256683.Ulrich Müller2009-01-301-6/+8
* clean upChristian Faulhammer2008-12-061-7/+4
* Fix patch to apply.Diego Elio Pettenò2008-11-171-2/+12
* Stable on ppc wrt bug 215344Gysbert Wassenaar2008-04-121-12/+2
* stable x86, bug 215344Christian Faulhammer2008-03-311-2/+12
* amd64 stable wrt bug #215344Santiago M. Mola2008-03-301-12/+2
* Version bump. Properly install site file, fixes bug 211658.Ulrich Müller2008-02-271-2/+14
* Remove all old-style digests from the system and regen the Manifest files.Robin H. Johnson2008-01-311-28/+0
* stable amd64, bug 195156Christian Faulhammer2007-10-161-11/+11
* Remove old.Ulrich Müller2007-10-111-11/+14
* stable ppc, bug #195156Lars Weiler2007-10-111-18/+8
* stable x86, bug 195156Christian Faulhammer2007-10-081-11/+11
* Remove redundant SIMPLE_ELISP and DEPEND=virtual/emacs. Quote some variables.Ulrich Müller2007-10-071-15/+15
* clean-up DEPEND; exchange manual make calls with emake; adjusted DESCRIPTION;...Christian Faulhammer2007-07-031-12/+12
* add load path correctly, fixes bug 169588, reported by Ulrich Mueller <ulm@kp...Christian Faulhammer2007-03-081-12/+12
* Replacing einfo with elogMarius Mauch2007-01-281-16/+16
* removed question for executable, so this ebuild is not interactive anymore. ...Christian Faulhammer2006-11-021-8/+34
* Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testingOlivier Crête2005-08-281-0/+10
* Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testingOlivier Crête2005-08-281-3/+3
* Updated Copyright dates to 2005. (Manifest recommit)Jeremy Huddleston2005-01-011-3/+3
* Move 3.5 to stable, remove old version. (Manifest recommit)Matthieu Sozeau2004-10-091-4/+2
* (Manifest recommit)Aron Griffis2004-06-241-4/+4
* Version bump, needs test as we use the packages own Makefile now. (Manifest r...Matthieu Sozeau2004-06-201-2/+2
* Version bump, needs test as we use the packages own Makefile now.Matthieu Sozeau2004-06-201-0/+2
* Move to stable on x86 and ppc. (Manifest recommit)Matthieu Sozeau2004-06-201-2/+2
* Fixed readonly variable assignment to PN and P. See bug #44712 (Manifest reco...Mamoru Komachi2004-03-151-3/+3
* Fix URI'sMatthieu Sozeau2004-01-221-3/+2
* Fix URI'sMatthieu Sozeau2004-01-221-2/+3
* Initial commitMatthieu Sozeau2004-01-211-1/+3
* Initial commitMatthieu Sozeau2004-01-211-0/+3