slides/mathpartir.sty
changeset 792 1f9a45fb5429
parent 95 dbe49327b6c5