summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/temporal-logic
AgeCommit message (Expand)Author
2024-10-18CTAN sync 202410180303Norbert Preining