slides/mathpartir.sty
changeset 941 38456acd29f3
parent 95 dbe49327b6c5