christian/ana-lecture
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
68 Commits 1 Branch 0 Tags
cf66c85a19be0f67c342b10f628f5db992b22670
Commit Graph
23 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
christian cf66c85a19 add new week of lectures 2020-05-28 00:30:57 +02:00
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