christian/ana-lecture
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
38 Commits 1 Branch 0 Tags
587cac72c6969824e23f6363aea76ad07e54389f
Commit Graph
14 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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