]> mj.ucw.cz Git - diplomky.git/history - en/macros.tex
Slidy: Verze 2022
[diplomky.git] / en / macros.tex
2019-07-17 Martin MaresMerge branch 'master' of ssh://git.ucw.cz/home/mj/GIT...
2019-07-17 Martin MaresEnglish version: Revive proof environment
2015-08-31 Martin MaresNedávné změny integrovány i do anglické verze