slides/mathpartir.sty
changeset 875 7b5ef798aeaa
parent 95 dbe49327b6c5