summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex/packages/stex-proofs.tex
blob: 0523c65948d52820bc560056489b74e21a83cf16 (plain)
1
\textcolor{red}{TODO: sproofs documentation}