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
* app-emacs/proofgeneral: amd64/ppc/x86 stable (ALLARCHES policy) wrt bug #865333Agostino Sarubbo2022-08-161-1/+1
* app-emacs/proofgeneral: bump to 4.5Maciej Barć2022-07-142-0/+58
* app-emacs/proofgeneral: update matadataMaciej Barć2022-06-021-0/+9
* app-emacs/proofgeneral: Stabilize 4.5_pre20220228 ALLARCHES, #843635Jakov Smolić2022-05-111-1/+1
* app-emacs/proofgeneral: bump to 4.5_pre20220228 (2022.02.28 snapshot)Maciej Barć2022-03-043-0/+78
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* app-emacs/proofgeneral: Remove old.Ulrich Müller2019-10-133-70/+0
* app-emacs/proofgeneral: stable 4.4 for ppc, bug #697424Sergei Trofimovich2019-10-121-1/+1
* app-emacs/proofgeneral: x86 stable wrt bug #697424Agostino Sarubbo2019-10-111-1/+1
* app-emacs/proofgeneral: amd64 stable wrt bug #697424Agostino Sarubbo2019-10-111-1/+1
* app-emacs/proofgeneral: Bump to version 4.4.Ulrich Müller2019-09-054-0/+85
* app-emacs/*: Add stabilize-allarches to metadata where appropriate.Ulrich Müller2018-06-111-0/+1
* app-emacs: Update all Manifest files.Ulrich Müller2017-11-261-1/+1
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* Split emacs herd and assign its packages to Emacs and GNU Emacs projects.Ulrich Müller2016-01-241-1/+4
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-085-0/+78