slides/mathpartir.sty
changeset 787 4b2496bc79b2
parent 95 dbe49327b6c5