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