1
0
Fork 0

4 Commits (d973e0e2e38eb9f5e80ce69f95483202e4c8e3db)

Author SHA1 Message Date
LEdoian 71e477c98d A useless attempt to create a generic unnumbered chapter/section/… 1 year ago
LEdoian d24212a293 First pieces of the thesis.
Really commiting only so that it is shared across my devices.
1 year ago
Martin Mares 5445572fc3 English version: Revive proof environment
Originally, it was commented out, since it collided with the built-in
proof environment. Renamed it to "myproof" instead.
5 years ago
Martin Mares bacc89f2e7 Nedávné změny integrovány i do anglické verze 9 years ago