doc-src/proof.sty
changeset 31189 7d43c7d3a15c
parent 3126 feb7a5d01c1e