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
* 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)
* Version bump. Properly install site file, fixes bug 211658.Ulrich Müller2008-02-271-2/+14
| | | | | (Portage version: 2.1.4.4) (Signed Manifest commit)
* Version bump. Properly install site file, fixes bug 211658.Ulrich Müller2008-02-273-4/+57
| | | | (Portage version: 2.1.4.4)
* Remove all old-style digests from the system and regen the Manifest files.Robin H. Johnson2008-01-312-31/+0
|
* stable amd64, bug 195156Christian Faulhammer2007-10-161-11/+11
| | | | | (Portage version: 2.1.3.9) (Signed Manifest commit)
* stable amd64, bug 195156Christian Faulhammer2007-10-162-3/+7
| | | | (Portage version: 2.1.3.9)
* Remove old.Ulrich Müller2007-10-111-11/+14
| | | | | (Portage version: 2.1.3.12) (Signed Manifest commit)
* Remove old.Ulrich Müller2007-10-113-56/+4
| | | | (Portage version: 2.1.3.12)
* stable ppc, bug #195156Lars Weiler2007-10-111-18/+8
| | | | | (Portage version: 2.1.3.12) (Unsigned Manifest commit)
* stable ppc, bug #195156Lars Weiler2007-10-112-3/+6
| | | | (Portage version: 2.1.3.12)
* stable x86, bug 195156Christian Faulhammer2007-10-081-11/+11
| | | | | (Portage version: 2.1.3.9) (Signed Manifest commit)
* stable x86, bug 195156Christian Faulhammer2007-10-082-3/+7
| | | | (Portage version: 2.1.3.9)
* Remove redundant SIMPLE_ELISP and DEPEND=virtual/emacs. Quote some variables.Ulrich Müller2007-10-071-15/+15
| | | | | (Portage version: 2.1.3.12) (Signed Manifest commit)
* Remove redundant SIMPLE_ELISP and DEPEND=virtual/emacs. Quote some variables.Ulrich Müller2007-10-073-15/+15
| | | | (Portage version: 2.1.3.12)
* clean-up DEPEND; exchange manual make calls with emake; adjusted ↵Christian Faulhammer2007-07-031-12/+12
| | | | | | | DESCRIPTION; removed pkg_postrm (Portage version: 2.1.2.9) (Signed Manifest commit)
* clean-up DEPEND; exchange manual make calls with emake; adjusted ↵Christian Faulhammer2007-07-032-14/+13
| | | | | | DESCRIPTION; removed pkg_postrm (Portage version: 2.1.2.9)
* add load path correctly, fixes bug 169588, reported by Ulrich Mueller ↵Christian Faulhammer2007-03-081-12/+12
| | | | | | | <ulm@kph.uni-mainz.de> (Portage version: 2.1.2-r9) (Signed Manifest commit)
* add load path correctly, fixes bug 169588, reported by Ulrich Mueller ↵Christian Faulhammer2007-03-082-3/+7
| | | | | | <ulm@kph.uni-mainz.de> (Portage version: 2.1.2-r9)
* Replacing einfo with elogMarius Mauch2007-01-281-16/+16
| | | | | (Portage version: 2.1.2-r4) (Signed Manifest commit)
* Replacing einfo with elogMarius Mauch2007-01-283-12/+16
| | | | (Portage version: 2.1.2-r4)
* removed question for executable, so this ebuild is not interactive anymore. ↵Christian Faulhammer2006-11-021-8/+34
| | | | | | | Reporte in bug #148857 by Patrick Lauer <patrick@gentoo.org> (Portage version: 2.1.1-r1) (Signed Manifest commit)
* removed question for executable, so this ebuild is not interactive anymore. ↵Christian Faulhammer2006-11-025-2/+105
| | | | | | Reporte in bug #148857 by Patrick Lauer <patrick@gentoo.org> (Portage version: 2.1.1-r1)
* Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testingOlivier Crête2005-08-281-0/+10
| | | | | (Portage version: 2.0.51.22-r2) (Signed Manifest commit)
* Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testingOlivier Crête2005-08-281-3/+3
| | | | | (Portage version: 2.0.51.22-r2) (Unsigned Manifest commit)
* Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testingOlivier Crête2005-08-282-3/+6
| | | | (Portage version: 2.0.51.22-r2)
* Updated Copyright dates to 2005. (Manifest recommit)Jeremy Huddleston2005-01-011-3/+3
|
* Updated Copyright dates to 2005.Jeremy Huddleston2005-01-012-4/+4
|
* Move 3.5 to stable, remove old version. (Manifest recommit)Matthieu Sozeau2004-10-091-4/+2
|
* Move 3.5 to stable, remove old version.Matthieu Sozeau2004-10-094-56/+7
|
* (Manifest recommit)Aron Griffis2004-06-241-4/+4
|
* update copyright line: Gentoo Technologies => Gentoo FoundationAron Griffis2004-06-243-6/+6
|
* Version bump, needs test as we use the packages own Makefile now. (Manifest ↵Matthieu Sozeau2004-06-201-2/+2
| | | | recommit)
* Version bump, needs test as we use the packages own Makefile now.Matthieu Sozeau2004-06-204-1/+65
|
* Move to stable on x86 and ppc. (Manifest recommit)Matthieu Sozeau2004-06-201-2/+2
|
* Move to stable on x86 and ppc.Matthieu Sozeau2004-06-202-3/+6
|
* dont install stupid COPYING file and other cleanupsMike Frysinger2004-06-011-4/+4
|
* Fixed readonly variable assignment to PN and P. See bug #44712 (Manifest ↵Mamoru Komachi2004-03-151-3/+3
| | | | recommit)
* Fixed readonly variable assignment to PN and P. See bug #44712Mamoru Komachi2004-03-152-7/+8
|
* Fix URI'sMatthieu Sozeau2004-01-223-8/+10
|
* Fix URI'sMatthieu Sozeau2004-01-221-2/+3
|
* Initial commitMatthieu Sozeau2004-01-216-1/+78
|
* Initial commitMatthieu Sozeau2004-01-211-0/+3