| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2021-02-15 | tex-ebproof{,-doc}: update to 2.1.1 | markd | 1 | -4/+3 |
| 2020-01-18 | all: migrate several HOMEPAGEs to https | rillig | 1 | -2/+2 |
| 2019-12-06 | tex-*: add TEXLIVE_UNVERSIONED=yes | markd | 1 | -1/+2 |
| 2018-05-22 | tex-ebproof{,-doc}: Add version 2.0 | markd | 1 | -0/+15 |
