slides/mathpartir.sty
changeset 728 c669b39debe3
parent 95 dbe49327b6c5