slides/mathpartir.sty
changeset 862 f27820cb3d45
parent 95 dbe49327b6c5