Paper/document/proof.sty
changeset 2255 ba068c04a8d9
parent 1739 468c3c1adcba