ana-lecture

Graf revizí

Autor	SHA1	Zpráva	Datum
flavis	d93b24e356	fix error in polygonzugverfahren image, add tikz math library to lecture cls	před 5 roky
flavis	2ffc6c3ce9	lower compatibility option for pgf plot	před 5 roky
salagne	a8d317235c	corrections	před 5 roky
flavis	b56e701fde	correct spelling in korollar environment	před 5 roky
flavis	7a78ebcf7e	salign now supports geq and leq	před 5 roky
flavis	4fa9dc5b3c	change babel from german to ngerman	před 5 roky
flavis	1541088353	add optional parameter to stackrel to put something below the relation symbol, compatible with salign	před 5 roky
flavis	ba8188da5c	seperate auto left-right parens from salign	před 5 roky
flavis	ef949f3849	replace parantheses in salign with left right correspondents	před 5 roky
flavis	865d163aeb	add implies and iff relations to salign	před 5 roky
flavis	f4c36cb129	fix double fullstop and add support for more relation symbols in salign	před 5 roky
flavis	e4c6c9e0fa	add new stackrel-compatible-auto-inserting-padding-environment	před 5 roky
flavis	04bdda2272	add ana8, one proof in ana7 and replace epsilon with varepsilon globally	před 5 roky
salagne	7035188af9	improved backslash d	před 5 roky
flavis	3ad08e7437	increase bottom margin to 35mm	před 5 roky
flavis	248b19e3d7	change bottom margin to 25mm	před 5 roky
flavis	d8946650ff	add contradiction symbol	před 5 roky
JosuaKugler	dbfd8f9c43	bookmarks support unicode now	před 5 roky
flavis	82dc897168	remove additional vertical pipe	před 5 roky
JosuaKugler	c6a2eb583d	hopefully fixed everything, added .out files to gitignore	před 5 roky
JosuaKugler	9a1c35636b	minor changes, added hyperref	před 5 roky
flavis	f72d654cba	fix lemma numbering	před 5 roky
flavis	1b374e0f61	move from article to book, improve headers	před 5 roky
flavis	a110be47da	add ana2	před 5 roky

25 Revize (d93b24e356fa4b460aef4dfcafecaa381aeb1d3e)