slides/mathpartir.sty
changeset 927 ef54868a9226
parent 95 dbe49327b6c5