6 Commits (2d83c3df0d0103ce0faf1a0a0a3ee9b95bf01fc7)

Author	SHA1	Message	Date
Martin Mares	83321537d6	Jako značku konce důkazu používáme \qedsymbol místo \square ... Jsou ekvivalentní, ale v MikTeXu má font se \square rozbité unicodové tabulky, takže nevznikne korektní PDF/A.	5 years ago
Martin Mares	bacc89f2e7	Nedávné změny integrovány i do anglické verze	9 years ago
Martin Mares	31dcf20a00	QED už není tak fancy :)	9 years ago
Martin Mares	7f2acfcfe8	Zapnuti slimáci	9 years ago
Martin Mares	1a2d726ebf	Úpravy stylu přesunuty do soubory s makry	9 years ago
Martin Mares	39487305f9	Makra od matematické sekce	9 years ago