slides/mathpartir.sty
changeset 783 e7861cb71bfc
parent 95 dbe49327b6c5