slides/mathpartir.sty
changeset 768 34f77b976b88
parent 95 dbe49327b6c5
equal deleted inserted replaced
767:bdd12391d345 768:34f77b976b88