]> mj.ucw.cz Git - diplomky.git/commit
projects / diplomky.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8332153) | patch
English version: Revive proof environment
authorMartin Mares <mj@ucw.cz>
Wed, 17 Jul 2019 11:25:05 +0000 (13:25 +0200)
committerMartin Mares <mj@ucw.cz>
Wed, 17 Jul 2019 11:25:05 +0000 (13:25 +0200)
commit5445572fc3a5f77094b2a49bcc85d0481e03e21d
treee1ea7c315df71afa85de6b5d386f5d785d35ccd3tree | snapshot
parent83321537d60cc38750bb8477dbc0740e7aa9052fcommit | diff
English version: Revive proof environment

Originally, it was commented out, since it collided with the built-in
proof environment. Renamed it to "myproof" instead.
en/macros.tex diff | blob | history
Šablony na psaní závěrečných prací na MFF UK