summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/temporal-logic
ModeNameSize
-rw-r--r--README.md1238logplain
-rw-r--r--temporal-logic-doc.pdf537322logplain