christian
0 Followers · 0 Following
Repositories
14
 Projects Packages Public Activity Starred Repositories
1
christian pushed to master at christian/ana-lecture 2020-05-06 18:36:14 +02:00
788ce16c65 update analysisII
d8946650ff add contradiction symbol
812a20bb66 refactor satz and definition titles
e50569099b add ana5
Compare 4 commits »
christian pushed to master at christian/uni 2020-05-05 16:16:46 +02:00
fb7f3aad6c update uebungen
christian pushed to master at christian/uni 2020-05-04 09:11:34 +02:00
b33c550fbb update proseminar skript and ana
christian pushed to master at christian/ana-lecture 2020-05-03 17:03:18 +02:00
82dc897168 remove additional vertical pipe
christian pushed to master at christian/uni 2020-05-01 21:53:56 +02:00
0b524bc085 finish ana
christian pushed to master at christian/ana-lecture 2020-05-01 12:00:40 +02:00
0ee655c856 replace double | with \Vert
christian pushed to master at christian/ana-lecture 2020-05-01 11:58:17 +02:00
a861b07e65 move newcommands in document body and update complete script
christian pushed to master at christian/uni 2020-05-01 10:28:49 +02:00
61762f724d add num1
christian pushed to master at christian/uni 2020-04-30 16:15:55 +02:00
3bd25450fa improve punkte macro to adapt to exercise numbers not starting from 1
christian pushed to master at christian/uni 2020-04-30 15:51:16 +02:00
997803e20b add la1
christian pushed to master at christian/skat 2020-04-29 23:55:43 +02:00
4a89eddc24 sort ouvert cards and properly compare types in sort render
christian pushed to master at christian/uni 2020-04-29 21:43:27 +02:00
92d3b35535 update theo and proseminar
christian pushed to master at christian/uni 2020-04-29 10:10:59 +02:00
7fe281e6aa update ana lecture
christian pushed to master at christian/ana-lecture 2020-04-29 10:10:31 +02:00
a729cf48c6 update ana2
christian pushed to master at christian/uni 2020-04-29 09:50:55 +02:00
18c7494156 update submodule url
christian pushed to master at christian/uni 2020-04-29 09:49:13 +02:00
c186242329 add lectures submodule
christian pushed to master at christian/uni 2020-04-29 09:36:28 +02:00
8abff34049 finish theo2
22fb29f7a0 add theo
Compare 2 commits »
christian pushed to master at christian/ana-lecture 2020-04-28 23:43:47 +02:00
f72d654cba fix lemma numbering
christian pushed to master at christian/ana-lecture 2020-04-28 22:09:24 +02:00
1b374e0f61 move from article to book, improve headers
christian pushed to master at christian/ana-lecture 2020-04-28 21:13:26 +02:00
a110be47da add ana2