Paper/document/proof.sty
changeset 2017 6a4049e1d68d
parent 1739 468c3c1adcba