1
0
Fork 0

2 Commits (f08577e6e409b271448fad787b84f4ec1c52a459)

Author SHA1 Message Date
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