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
/
projlib
/
DEPENDS.txt
blob: b8ee3af57fad26403e4a06ef4adec22ae0ae3fb9 (
plain
)
1
hard create-theorem