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-076-169/+22
| | | | | Package-Manager: portage-2.2.10/cvs/Linux x86_64 Manifest-Sign-Key: 0x9433907D693FB5B8!
* Remove old.Ulrich Müller2014-02-153-62/+16
| | | | | Package-Manager: portage-2.2.8-r1/cvs/Linux x86_64 Manifest-Sign-Key: 0x9433907D693FB5B8!
* Stable for x86, wrt bug #490100Agostino Sarubbo2013-12-243-8/+21
| | | | | | Package-Manager: portage-2.2.7/cvs/Linux x86_64 RepoMan-Options: --include-arches="x86" Manifest-Sign-Key: 0x7194459F
* amd64 stable, bug #490100Pacho Ramos2013-12-223-19/+12
| | | | | | Package-Manager: portage-2.2.7/cvs/Linux x86_64 RepoMan-Options: --include-arches="amd64" Manifest-Sign-Key: 0xA188FBD4
* Stable for ppc, wrt bug #490100Agostino Sarubbo2013-12-213-18/+23
| | | | | | Package-Manager: portage-2.2.1/cvs/Linux ppc64 RepoMan-Options: --include-arches="ppc" Manifest-Sign-Key: 0x7194459F
* Version bump, bug 445242. Remove old.Ulrich Müller2013-04-224-27/+47
| | | | | Package-Manager: portage-2.1.11.62/cvs/Linux x86_64 Manifest-Sign-Key: 0x9433907D693FB5B8!
* Don't rely on image-load-path always being defined, bug 426646.Ulrich Müller2012-07-144-19/+39
| | | | Package-Manager: portage-2.1.11.7/cvs/Linux x86_64
* Re-sign manifest.Ulrich Müller2012-07-051-0/+20
| | | | | Package-Manager: portage-2.1.11.5/cvs/Linux x86_64 Manifest-Sign-Key: 0x7DC6EA25
* Change manifests to new hashes.Jeff Horelick2012-07-051-20/+10
| | | | Package-Manager: portage-2.2.0_alpha115/cvs/Linux i686
* x86 stable wrt bug #404605Paweł Hajdan2012-03-083-5/+18
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux i686
* Marking proofgeneral-4.1 ppc for bug 404605Brent Baude2012-03-012-3/+6
| | | | Package-Manager: portage-2.1.10.11/cvs/Linux ppc64
* Marking ddskk-14.3 ppc for bug 399927Brent Baude2012-03-011-16/+2
| | | | Package-Manager: portage-2.1.10.11/cvs/Linux ppc64
* Stable for amd64, wrt bug #404605Agostino Sarubbo2012-02-263-12/+19
| | | | Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
* Version bump, bug 386465.Ulrich Müller2011-12-084-7/+147
| | | | Package-Manager: portage-2.1.10.39/cvs/Linux x86_64
* Require Emacs version 23 at least. Don't compile and install bundled ↵Ulrich Müller2010-12-073-10/+23
| | | | | | mmm-mode; depend on app-emacs/mmm-mode instead. Bug 347822. Package-Manager: portage-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-063-6/+62
| | | | | | for most of the work Package-Manager: portage-2.1.9.24/cvs/Linux i686
* Fix parallel make issue, install html documentation, bug 304399.Ulrich Müller2010-02-114-21/+20
| | | | Package-Manager: portage-2.2_rc62/cvs/Linux i686
* clean upChristian Faulhammer2009-08-171-6/+4
| | | | Package-Manager: portage-2.1.6.13/cvs/Linux i686
* clean upChristian Faulhammer2009-08-172-46/+5
| | | | Package-Manager: portage-2.1.6.13/cvs/Linux i686
* amd64 stable, bug #272471Markus Meier2009-06-112-3/+6
| | | | Package-Manager: portage-2.1.6.13/cvs/Linux x86_64
* amd64 stable, bug #272462Markus Meier2009-06-111-2/+12
| | | | Package-Manager: portage-2.1.6.13/cvs/Linux x86_64
* ppc stable #272471Gysbert Wassenaar2009-06-062-3/+6
| | | | Package-Manager: portage-2.1.6.13/cvs/Linux ppc
* ppc stable #272465Gysbert Wassenaar2009-06-061-12/+2
| | | | Package-Manager: portage-2.1.6.13/cvs/Linux ppc
* stable x86, bug 272471Christian Faulhammer2009-06-042-4/+8
| | | | Package-Manager: portage-2.1.6.11/cvs/Linux i686
* stable x86, bug 272462Christian Faulhammer2009-06-041-6/+6
| | | | Package-Manager: portage-2.1.6.11/cvs/Linux i686
* Version bump. Remove missing file from dodoc arguments, bug 256683.Ulrich Müller2009-01-304-12/+65
| | | | Package-Manager: portage-2.2_rc23/cvs/Linux i686
* clean upChristian Faulhammer2008-12-064-91/+10
| | | | Package-Manager: portage-2.1.4.5
* Fix patch to apply.Diego Elio Pettenò2008-11-173-5/+19
| | | | Package-Manager: portage-2.2_rc14/cvs/Linux 2.6.27-gentoo-r2 x86_64
* Stable on ppc wrt bug 215344Gysbert Wassenaar2008-04-121-12/+2
| | | | Package-Manager: portage-2.1.5_rc2
* Stable on ppc wrt bug 215344Gysbert Wassenaar2008-04-122-3/+6
| | | | Package-Manager: portage-2.1.5_rc2
* stable x86, bug 215344Christian Faulhammer2008-03-313-5/+19
| | | | Package-Manager: portage-2.1.4.4
* amd64 stable wrt bug #215344Santiago M. Mola2008-03-302-3/+7
| | | | Package-Manager: portage-2.1.4.4
* amd64 stable wrt bug #215494Santiago M. Mola2008-03-301-12/+2
| | | | Package-Manager: portage-2.1.4.4
* Version bump. Properly install site file, fixes bug 211658.Ulrich Müller2008-02-274-6/+71
| | | | Package-Manager: portage-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-162-3/+7
| | | | Package-Manager: portage-2.1.3.9
* stable amd64, bug 195112Christian Faulhammer2007-10-161-11/+11
| | | | Package-Manager: portage-2.1.3.9
* Remove old.Ulrich Müller2007-10-111-11/+14
| | | | Package-Manager: portage-2.1.3.12
* Remove old.Ulrich Müller2007-10-113-56/+4
| | | | Package-Manager: portage-2.1.3.12
* stable ppc, bug #195156Lars Weiler2007-10-113-21/+14
| | | | Package-Manager: portage-2.1.3.12
* stable x86, bug 195156Christian Faulhammer2007-10-083-14/+18
| | | | Package-Manager: portage-2.1.3.9
* Remove redundant SIMPLE_ELISP and DEPEND=virtual/emacs. Quote some variables.Ulrich Müller2007-10-074-30/+30
| | | | Package-Manager: portage-2.1.3.12
* clean-up DEPEND; exchange manual make calls with emake; adjusted ↵Christian Faulhammer2007-07-032-14/+13
| | | | | | DESCRIPTION; removed pkg_postrm Package-Manager: portage-2.1.2.9
* clean-up DEPEND; exchange manual make calls with emakeChristian Faulhammer2007-07-031-12/+12
| | | | Package-Manager: portage-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> Package-Manager: portage-2.1.2-r9
* add load path correctly, fixes bug 169588, reported by Ulrich Mueller ↵Christian Faulhammer2007-03-082-3/+7
| | | | | | <ulm@kph.uni-mainz.de> Package-Manager: portage-2.1.2-r9
* Replacing einfo with elogMarius Mauch2007-01-281-16/+16
| | | | Package-Manager: portage-2.1.2-r4
* Replacing einfo with elogMarius Mauch2007-01-283-12/+16
| | | | Package-Manager: portage-2.1.2-r4
* removed question for executable, so this ebuild is not interactive anymore. ↵Christian Faulhammer2006-11-026-10/+139
| | | | | | Reporte in bug #148857 by Patrick Lauer <patrick@gentoo.org> Package-Manager: portage-2.1.1-r1
* Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testingOlivier Crête2005-08-281-0/+10
| | | | Package-Manager: portage-2.0.51.22-r2