slides/mathpartir.sty
changeset 297 530b98bcc36f
parent 93 82ac034dcc9d