Paper/document/proof.sty
changeset 2207 ea7c3f21d6df
parent 1739 468c3c1adcba