]>
2019-07-17 | Martin Mares | Merge branch 'master' of ssh://git.ucw.cz/home/mj/GIT... | blob | commitdiff | raw |
2019-07-17 | Martin Mares | Jako značku konce důkazu používáme \qedsymbol místo... | blob | commitdiff | raw |
2015-08-31 | Martin Mares | Nedávné změny integrovány i do anglické verze | blob | commitdiff | raw | diff to current |
2015-08-31 | Martin Mares | QED už není tak fancy :) | blob | commitdiff | raw | diff to current |
2015-08-31 | Martin Mares | Zapnuti slimáci | blob | commitdiff | raw | diff to current |
2015-08-25 | Martin Mares | Úpravy stylu přesunuty do soubory s makry | blob | commitdiff | raw | diff to current |
2015-08-25 | Martin Mares | Makra od matematické sekce | blob | commitdiff | raw | diff to current |