| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | app-emacs/proofgeneral: drop old 4.4 |   Maciej Barć | 2023-08-11 | 1 | -59/+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 | 1 | -0/+59 |
GitWeb