slides/mathpartir.sty
changeset 962 2ecd511e62fa
parent 95 dbe49327b6c5