christian/ana-lecture
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
29 Commits 1 Branch 0 Tags
248b19e3d7c9bb756bcc276e61e98d94b4228bb1
Commit Graph
29 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
salagne bcf71b788d fixed some mistakes 2020-05-06 13:17:18 +02:00
salagne 01b679cdb9 Merge branch 'master' of https://git.flavigny.de/christian/ana-lecture 2020-05-06 13:11:27 +02:00
salagne e795795f66 fixed some mistakes 2020-05-06 12:07:23 +02:00
JosuaKugler dbfd8f9c43 bookmarks support unicode now 2020-05-05 18:39:00 +02:00
JosuaKugler b66864f423 little mistakes 2020-05-05 17:42:49 +02:00
jakobus2205 227a2d7c83 add analysisII.pdf 2020-05-05 10:26:32 +02:00
jakobus2205 344ea98a73 delete analysisII.pdf to solve push problems 2020-05-05 10:20:52 +02:00
jakobus2205 ae8fd2605f update analysisII 2020-05-05 10:14:37 +02:00
jakobus2205 f195b5cffc update analysisII 2020-05-05 10:12:43 +02:00
jakobus2205 2eac2ebd31 add ana4 2020-05-05 09:52:56 +02:00
JosuaKugler f47bc99d84 more mistakes 2020-05-04 16:13:32 +02:00
christian 82dc897168 remove additional vertical pipe 2020-05-03 17:03:14 +02:00
JosuaKugler 4ac2dfcd1f mistakes 2020-05-02 20:00:50 +02:00
JosuaKugler c6a2eb583d hopefully fixed everything, added .out files to gitignore 2020-05-02 10:34:32 +02:00
JosuaKugler 157f4ad111 merge finished 2020-05-02 09:50:35 +02:00
JosuaKugler 9a1c35636b minor changes, added hyperref 2020-05-02 09:45:51 +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
JosuaKugler 1f5f1d8b4a version 0 finished 2020-04-30 19:06:23 +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