 christian
|
4a8568092d
|
add ana18
|
2020-07-01 11:02:59 +02:00 |
|
|
christian
|
c8b5fefa14
|
add one more graphic to ana17
|
2020-06-30 19:26:30 +02:00 |
|
|
christian
|
8577fb2ee8
|
add subcaption package and single equation tag command
|
2020-06-30 18:57:52 +02:00 |
|
|
christian
|
c70db175ba
|
finish peano proof in ana16, add ana17
|
2020-06-30 18:57:28 +02:00 |
|
|
christian
|
76ca761c7f
|
stop tracking of single lecture pdfs
|
2020-06-30 18:56:15 +02:00 |
|
|
christian
|
d93b24e356
|
fix error in polygonzugverfahren image, add tikz math library to lecture cls
|
2020-06-29 21:29:57 +02:00 |
|
|
christian
|
df5ec7ac25
|
add graphics
|
2020-06-28 20:12:55 +02:00 |
|
|
christian
|
2ffc6c3ce9
|
lower compatibility option for pgf plot
|
2020-06-23 16:02:51 +02:00 |
|
|
christian
|
3511795bc9
|
add ana 15, some references in ana14
|
2020-06-23 16:01:37 +02:00 |
|
|
christian
|
01365dc0b8
|
fix another typo
|
2020-06-09 19:03:16 +02:00 |
|
|
christian
|
b56e701fde
|
correct spelling in korollar environment
|
2020-06-09 18:51:17 +02:00 |
|
|
christian
|
9c8be463dd
|
fix typos
|
2020-06-09 18:46:11 +02:00 |
|
|
christian
|
7a78ebcf7e
|
salign now supports geq and leq
|
2020-06-09 18:46:04 +02:00 |
|
|
christian
|
ec9b7c692d
|
update complete script
|
2020-06-09 17:52:11 +02:00 |
|
|
christian
|
38f5896316
|
fix some wrong quotation marks
|
2020-06-03 10:41:31 +02:00 |
|
|
christian
|
4fa9dc5b3c
|
change babel from german to ngerman
|
2020-06-03 10:13:48 +02:00 |
|
|
christian
|
dff18ad054
|
add names and email addresses
|
2020-06-03 10:05:12 +02:00 |
|
|
christian
|
9508913fa7
|
replace w with omega, replace bold face with underlines, fix some typos in last proof
|
2020-06-02 23:42:38 +02:00 |
|
|
christian
|
1541088353
|
add optional parameter to stackrel to put something below the relation symbol, compatible with salign
|
2020-06-02 12:01:01 +02:00 |
|
|
christian
|
ba8188da5c
|
seperate auto left-right parens from salign
|
2020-05-28 00:31:46 +02:00 |
|
|
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 |
|