]> mj.ucw.cz Git - diplomky.git/commit
projects / diplomky.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0982be) | patch
Removed custom environment for proofs
authorMartin Mares <mj@ucw.cz>
Sat, 2 Mar 2024 10:45:04 +0000 (11:45 +0100)
committerMartin Mares <mj@ucw.cz>
Sat, 2 Mar 2024 10:45:04 +0000 (11:45 +0100)
commitcb5dd3b813a9d75031ac88f62e512efd3e803f7a
tree500d0980928dbdbd4c8f53d02a1a737369f25275tree | snapshot
parentd0982be36631cc6eb8edb967189ff8bf34ac1473commit | diff
Removed custom environment for proofs

Our environment had the QED symbol positioned on an extra line,
which does not look well. After some deliberaiton, I found nothing
wrong with amsthm's proof environment.
macros.tex diff | blob | history
Šablony na psaní závěrečných prací na MFF UK