slides/mathpartir.sty
changeset 872 5f5e165c9a57
parent 95 dbe49327b6c5