slides/mathpartir.sty
changeset 1027 dadb5a94728d
parent 95 dbe49327b6c5