summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/create-theorem.tlpsrc
AgeCommit message (Expand)Author
2022-05-23create-theorem (23may22)Karl Berry
2022-02-27create-theorem (27feb22)Karl Berry