index
:
CTAN
master
CTAN daily syncs as git repository
norbert@preining.info
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
macros
/
latex
/
contrib
/
temporal-logic
Mode
Name
Size
-rw-r--r--
README.md
1238
log
plain
-rw-r--r--
temporal-logic-doc.pdf
537322
log
plain
-rw-r--r--
temporal-logic.dtx
20099
log
plain
-rw-r--r--
temporal-logic.ins
1563
log
plain