slides/mathpartir.sty
changeset 130 4e8482e50590
parent 93 82ac034dcc9d