22 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
christian	0368910241	Merge branch 'master' of gitea:christian/ana-lecture	2020-05-23 23:10:41 +02:00
christian	ef949f3849	replace parantheses in salign with left right correspondents	2020-05-23 23:09:28 +02:00
christian	865d163aeb	add implies and iff relations to salign	2020-05-22 19:40:36 +02:00
christian	f4c36cb129	fix double fullstop and add support for more relation symbols in salign	2020-05-20 12:11:34 +02:00
christian	32a9e0e08a	add intertext to improve aligning	2020-05-20 11:26:20 +02:00
christian	e4c6c9e0fa	add new stackrel-compatible-auto-inserting-padding-environment	2020-05-20 00:23:58 +02:00
christian	04bdda2272	add ana8, one proof in ana7 and replace epsilon with varepsilon globally	2020-05-19 20:14:31 +02:00
christian	3ad08e7437	increase bottom margin to 35mm	2020-05-09 21:00:40 +02:00
christian	587cac72c6	Merge branch 'master' of gitea:christian/ana-lecture	2020-05-09 20:56:27 +02:00
christian	248b19e3d7	change bottom margin to 25mm	2020-05-09 20:55:21 +02:00
christian	788ce16c65	update analysisII	2020-05-06 18:36:06 +02:00
christian	d8946650ff	add contradiction symbol	2020-05-06 18:35:52 +02:00
christian	812a20bb66	refactor satz and definition titles	2020-05-06 18:35:25 +02:00
christian	e50569099b	add ana5	2020-05-06 18:34:39 +02:00
christian	82dc897168	remove additional vertical pipe	2020-05-03 17:03:14 +02:00
christian	0ee655c856	replace double | with \Vert	2020-05-01 12:00:36 +02:00
christian	a861b07e65	move newcommands in document body and update complete script	2020-05-01 11:58:14 +02:00
christian	a729cf48c6	update ana2	2020-04-29 10:10:28 +02:00
christian	f72d654cba	fix lemma numbering	2020-04-28 23:43:44 +02:00
christian	1b374e0f61	move from article to book, improve headers	2020-04-28 22:09:21 +02:00
christian	a110be47da	add ana2	2020-04-28 21:13:22 +02:00
christian	9198d44f97	initial commit	2020-04-28 14:04:11 +02:00