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
/
stex
/
sty
/
sproof
Mode
Name
Size
-rw-r--r--
README
491
log
plain
-rw-r--r--
sproof.dtx
31735
log
plain
-rw-r--r--
sproof.ins
807
log
plain
-rw-r--r--
sproof.pdf
331925
log
plain