slides/mathpartir.sty
changeset 197 6622bd256029
parent 95 dbe49327b6c5
equal deleted inserted replaced
196:7182786d9c68 197:6622bd256029