2 Commits (efab7e5a8101a6c6bdf62905c4063bbbb9d37a48)

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