]> mj.ucw.cz Git - diplomky.git/commit
QED už není tak fancy :)
authorMartin Mares <mj@ucw.cz>
Mon, 31 Aug 2015 15:37:31 +0000 (17:37 +0200)
committerMartin Mares <mj@ucw.cz>
Mon, 31 Aug 2015 15:37:46 +0000 (17:37 +0200)
commit31dcf20a005e7852a50da843abc79993794e9208
tree67b13e05f323791ee5a23af9be333f1f6edf58b1
parent25807dc899eab28e2313945493f7d073f7fa5f82
QED už není tak fancy :)
TODO
cs/makra.tex