62 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
JosuaKugler	4ac2dfcd1f	mistakes	2020-05-02 20:00:50 +02:00
JosuaKugler	c6a2eb583d	hopefully fixed everything, added .out files to gitignore	2020-05-02 10:34:32 +02:00
JosuaKugler	157f4ad111	merge finished	2020-05-02 09:50:35 +02:00
JosuaKugler	9a1c35636b	minor changes, added hyperref	2020-05-02 09:45:51 +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
JosuaKugler	1f5f1d8b4a	version 0 finished	2020-04-30 19:06:23 +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