 JosuaKugler
|
fd4bb25fb3
|
added ana9
|
před 5 roky |
 flavis
|
865d163aeb
|
add implies and iff relations to salign
|
před 5 roky |
|
JosuaKugler
|
80a8fc0a35
|
proof 2.57 underbrace corrected
|
před 5 roky |
 salagne
|
f2aeceb5ae
|
update pdfs
|
před 5 roky |
|
salagne
|
5423df36cc
|
Merge branch 'master' of https://git.flavigny.de/christian/ana-lecture
|
před 5 roky |
|
salagne
|
db750b809f
|
minor change
|
před 5 roky |
|
flavis
|
f4c36cb129
|
fix double fullstop and add support for more relation symbols in salign
|
před 5 roky |
|
flavis
|
32a9e0e08a
|
add intertext to improve aligning
|
před 5 roky |
|
flavis
|
e4c6c9e0fa
|
add new stackrel-compatible-auto-inserting-padding-environment
|
před 5 roky |
|
flavis
|
04bdda2272
|
add ana8, one proof in ana7 and replace epsilon with varepsilon globally
|
před 5 roky |
|
salagne
|
7035188af9
|
improved backslash d
|
před 5 roky |
|
salagne
|
8807cb163c
|
correction corrected
|
před 5 roky |
|
salagne
|
a252d2de8a
|
update
|
před 5 roky |
|
salagne
|
81e1cc2368
|
minor corrections
|
před 5 roky |
|
JosuaKugler
|
52281b1525
|
ana7 done, fixed all bad breaks and overfull boxes
|
před 5 roky |
|
salagne
|
d4559fec69
|
update analysisII.pdf
|
před 5 roky |
|
salagne
|
f17e1d1c08
|
update
|
před 5 roky |
|
salagne
|
44aa736bfe
|
update
|
před 5 roky |
|
salagne
|
bdef04ad86
|
small corrections
|
před 5 roky |
|
salagne
|
045add94ab
|
minor correction
|
před 5 roky |
|
salagne
|
7989873ca0
|
minor change
|
před 5 roky |
|
salagne
|
b68e11b7b5
|
update
|
před 5 roky |
|
salagne
|
0ae378008e
|
add ana6.tex
|
před 5 roky |
|
salagne
|
943348fccf
|
add ana6
|
před 5 roky |
|
salagne
|
8c1e517844
|
add ana6.tex
|
před 5 roky |
|
flavis
|
3ad08e7437
|
increase bottom margin to 35mm
|
před 5 roky |
|
flavis
|
587cac72c6
|
Merge branch 'master' of gitea:christian/ana-lecture
|
před 5 roky |
|
flavis
|
248b19e3d7
|
change bottom margin to 25mm
|
před 5 roky |
|
salagne
|
6c12e4f1c0
|
update pdfs
|
před 5 roky |
|
salagne
|
44f886e228
|
minor changes
|
před 5 roky |
|
salagne
|
a568b255de
|
update analysisII.pdf and ana4pdf
|
před 5 roky |
|
salagne
|
3092921e46
|
minor changes
|
před 5 roky |
|
salagne
|
ba6956bc7b
|
update analysisII
|
před 5 roky |
|
salagne
|
8783ac1a45
|
Merge branch 'master' of https://git.flavigny.de/christian/ana-lecture
|
před 5 roky |
|
salagne
|
b2790ea0d4
|
minor change
|
před 5 roky |
|
salagne
|
0de38a251e
|
minor change
|
před 5 roky |
|
flavis
|
788ce16c65
|
update analysisII
|
před 5 roky |
|
flavis
|
d8946650ff
|
add contradiction symbol
|
před 5 roky |
|
flavis
|
812a20bb66
|
refactor satz and definition titles
|
před 5 roky |
|
flavis
|
e50569099b
|
add ana5
|
před 5 roky |
|
salagne
|
bcf71b788d
|
fixed some mistakes
|
před 5 roky |
|
salagne
|
01b679cdb9
|
Merge branch 'master' of https://git.flavigny.de/christian/ana-lecture
|
před 5 roky |
|
salagne
|
e795795f66
|
fixed some mistakes
|
před 5 roky |
|
JosuaKugler
|
dbfd8f9c43
|
bookmarks support unicode now
|
před 5 roky |
|
JosuaKugler
|
b66864f423
|
little mistakes
|
před 5 roky |
 jakobus2205
|
227a2d7c83
|
add analysisII.pdf
|
před 5 roky |
 jakobus2205
|
344ea98a73
|
delete analysisII.pdf to solve push problems
|
před 5 roky |
|
jakobus2205
|
ae8fd2605f
|
update analysisII
|
před 5 roky |
|
jakobus2205
|
f195b5cffc
|
update analysisII
|
před 5 roky |
|
jakobus2205
|
2eac2ebd31
|
add ana4
|
před 5 roky |
