Paper/document/proof.sty
changeset 1990 f0a6d971ebac
parent 1739 468c3c1adcba