| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 | 1 | -0/+58 |
GitWeb