slides/mathpartir.sty
changeset 316 edbd731e8bee
parent 93 82ac034dcc9d