slides/mathpartir.sty
changeset 867 42256f8cc2b7
parent 95 dbe49327b6c5