Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral
Commit message (Expand)AuthorAgeFilesLines
* Version bump. Remove missing file from dodoc arguments, bug 256683.Ulrich Müller2009-01-304-12/+65
* clean upChristian Faulhammer2008-12-064-91/+10
* Fix patch to apply.Diego Elio Pettenò2008-11-173-5/+19
* Stable on ppc wrt bug 215344Gysbert Wassenaar2008-04-121-12/+2
* Stable on ppc wrt bug 215344Gysbert Wassenaar2008-04-122-3/+6
* stable x86, bug 215344Christian Faulhammer2008-03-313-5/+19
* amd64 stable wrt bug #215344Santiago M. Mola2008-03-302-3/+7
* amd64 stable wrt bug #215494Santiago M. Mola2008-03-301-12/+2
* Version bump. Properly install site file, fixes bug 211658.Ulrich Müller2008-02-274-6/+71
* 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
* stable amd64, bug 195112Christian Faulhammer2007-10-161-11/+11
* Remove old.Ulrich Müller2007-10-111-11/+14
* Remove old.Ulrich Müller2007-10-113-56/+4
* stable ppc, bug #195156Lars Weiler2007-10-113-21/+14
* stable x86, bug 195156Christian Faulhammer2007-10-083-14/+18
* Remove redundant SIMPLE_ELISP and DEPEND=virtual/emacs. Quote some variables.Ulrich Müller2007-10-074-30/+30
* clean-up DEPEND; exchange manual make calls with emake; adjusted DESCRIPTION;...Christian Faulhammer2007-07-032-14/+13
* clean-up DEPEND; exchange manual make calls with emakeChristian Faulhammer2007-07-031-12/+12
* add load path correctly, fixes bug 169588, reported by Ulrich Mueller <ulm@kp...Christian Faulhammer2007-03-081-12/+12
* add load path correctly, fixes bug 169588, reported by Ulrich Mueller <ulm@kp...Christian Faulhammer2007-03-082-3/+7
* Replacing einfo with elogMarius Mauch2007-01-281-16/+16
* Replacing einfo with elogMarius Mauch2007-01-283-12/+16
* removed question for executable, so this ebuild is not interactive anymore. ...Christian Faulhammer2006-11-026-10/+139
* 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
* Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testingOlivier Crête2005-08-282-3/+6
* Updated Copyright dates to 2005.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.Matthieu Sozeau2004-10-095-60/+9
* (no commit message)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.Matthieu Sozeau2004-06-204-2/+66
* Move to stable on x86 and ppc.Matthieu Sozeau2004-06-203-5/+8
* dont install stupid COPYING file and other cleanupsMike Frysinger2004-06-011-4/+4
* Fixed readonly variable assignment to PN and P. See bug #44712Mamoru Komachi2004-03-152-7/+8
* Removed readonly assignment to D, see bug #44712Mamoru Komachi2004-03-151-3/+3
* Fix URI'sMatthieu Sozeau2004-01-222-7/+6
* Fix URI'sMatthieu Sozeau2004-01-222-3/+7
* Initial commitMatthieu Sozeau2004-01-215-1/+68
* Initial commitMatthieu Sozeau2004-01-212-0/+13