prio/Slides/document/mathpartir.sty
changeset 367 79401279ba21
parent 360 66e0ec8acedc