Paper/document/proof.sty
changeset 2035 3622cae9b10e
parent 1739 468c3c1adcba