slides/mathpartir.sty
changeset 939 f85e784d3014
parent 95 dbe49327b6c5