| Commit message (Expand) | Author | Age | Files | Lines |
* | app-emacs/proofgeneral: remove unused patch | Michael Mair-Keimberger | 2023-08-13 | 1 | -11/+0 |
* | app-emacs/proofgeneral: drop old 4.5_pre20220228 | Maciej Barć | 2023-08-11 | 2 | -59/+0 |
* | app-emacs/proofgeneral: drop old 4.4 | Maciej Barć | 2023-08-11 | 2 | -60/+0 |
* | app-emacs: H -> COMMIT | Maciej Barć | 2023-01-30 | 1 | -4/+4 |
* | app-emacs/proofgeneral: amd64/ppc/x86 stable (ALLARCHES policy) wrt bug #865333 | Agostino Sarubbo | 2022-08-16 | 1 | -1/+1 |
* | app-emacs/proofgeneral: bump to 4.5 | Maciej Barć | 2022-07-14 | 2 | -0/+58 |
* | app-emacs/proofgeneral: update matadata | Maciej Barć | 2022-06-02 | 1 | -0/+9 |
* | app-emacs/proofgeneral: Stabilize 4.5_pre20220228 ALLARCHES, #843635 | Jakov Smolić | 2022-05-11 | 1 | -1/+1 |
* | app-emacs/proofgeneral: bump to 4.5_pre20220228 (2022.02.28 snapshot) | Maciej Barć | 2022-03-04 | 3 | -0/+78 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | app-emacs/proofgeneral: Remove old. | Ulrich Müller | 2019-10-13 | 3 | -70/+0 |
* | app-emacs/proofgeneral: stable 4.4 for ppc, bug #697424 | Sergei Trofimovich | 2019-10-12 | 1 | -1/+1 |
* | app-emacs/proofgeneral: x86 stable wrt bug #697424 | Agostino Sarubbo | 2019-10-11 | 1 | -1/+1 |
* | app-emacs/proofgeneral: amd64 stable wrt bug #697424 | Agostino Sarubbo | 2019-10-11 | 1 | -1/+1 |
* | app-emacs/proofgeneral: Bump to version 4.4. | Ulrich Müller | 2019-09-05 | 4 | -0/+85 |
* | app-emacs/*: Add stabilize-allarches to metadata where appropriate. | Ulrich Müller | 2018-06-11 | 1 | -0/+1 |
* | app-emacs: Update all Manifest files. | Ulrich Müller | 2017-11-26 | 1 | -1/+1 |
* | Drop $Id$ per council decision in bug #611234. | Robin H. Johnson | 2017-02-28 | 1 | -1/+0 |
* | Set appropriate maintainer types in metadata.xml (GLEP 67) | Michał Górny | 2016-01-24 | 1 | -1/+1 |
* | Split emacs herd and assign its packages to Emacs and GNU Emacs projects. | Ulrich Müller | 2016-01-24 | 1 | -1/+4 |
* | Revert DOCTYPE SYSTEM https changes in metadata.xml | Mike Gilbert | 2015-08-24 | 1 | -1/+1 |
* | Use https by default | Justin Lecher | 2015-08-24 | 1 | -1/+1 |
* | proj/gentoo: Initial commit | Robin H. Johnson | 2015-08-08 | 5 | -0/+78 |