slides/mathpartir.sty
changeset 785 faa4489267d5
parent 95 dbe49327b6c5
equal deleted inserted replaced
784:7dac4492b0e6 785:faa4489267d5