slides/mathpartir.sty
changeset 283 40511897fcc4
parent 93 82ac034dcc9d