summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/temporal-logic
ModeNameSize
-rw-r--r--README.md1238logplain
-rw-r--r--temporal-logic-doc.pdf537322logplain
-rw-r--r--temporal-logic.dtx20099logplain
-rw-r--r--temporal-logic.ins1563logplain