Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-02-15 | tex-ebproof{,-doc}: update to 2.1.1 | markd | 3 | -11/+9 |
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 | 4 | -0/+24 |