| Commit message (Expand) | Author | Age | Files | Lines |
* | 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 |