slides/mathpartir.sty
changeset 304 9d1cf03d1b32
parent 93 82ac034dcc9d