ana-lecture

78MB

Struktur: 6d39c883d2

Autor	SHA1	Nachricht	Datum
flavis	865d163aeb	add implies and iff relations to salign	vor 5 Jahren
flavis	f4c36cb129	fix double fullstop and add support for more relation symbols in salign	vor 5 Jahren
flavis	e4c6c9e0fa	add new stackrel-compatible-auto-inserting-padding-environment	vor 5 Jahren
flavis	04bdda2272	add ana8, one proof in ana7 and replace epsilon with varepsilon globally	vor 5 Jahren
salagne	7035188af9	improved backslash d	vor 5 Jahren
flavis	3ad08e7437	increase bottom margin to 35mm	vor 5 Jahren
flavis	248b19e3d7	change bottom margin to 25mm	vor 5 Jahren
flavis	d8946650ff	add contradiction symbol	vor 5 Jahren
JosuaKugler	dbfd8f9c43	bookmarks support unicode now	vor 5 Jahren
flavis	82dc897168	remove additional vertical pipe	vor 5 Jahren
JosuaKugler	c6a2eb583d	hopefully fixed everything, added .out files to gitignore	vor 5 Jahren
JosuaKugler	9a1c35636b	minor changes, added hyperref	vor 5 Jahren
flavis	f72d654cba	fix lemma numbering	vor 5 Jahren
flavis	1b374e0f61	move from article to book, improve headers	vor 5 Jahren
flavis	a110be47da	add ana2	vor 5 Jahren