slides/mathpartir.sty
changeset 821 c3f9e0fe08cb
parent 95 dbe49327b6c5