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
/
synproof
Mode
Name
Size
-rw-r--r--
README
655
log
plain
-rw-r--r--
synproof-doc.pdf
69056
log
plain
-rw-r--r--
synproof-doc.tex
11952
log
plain
-rw-r--r--
synproof.sty
5895
log
plain