doc-src/proof.sty
changeset 32705 04ce6bb14d85
parent 3126 feb7a5d01c1e