Commits · master · Markus Klinik / klinik-phd-thesis

18 Sep, 2020 8 commits
- disable todo · 6d4ebea0
  Markus Klinik authored Sep 18, 2020
  
  6d4ebea0
- update bibliography · a37a69cf
  Markus Klinik authored Sep 18, 2020
  
  a37a69cf
- RTM: final revision · dc432541
  Markus Klinik authored Sep 18, 2020
  
  dc432541
- conclusion: final revision · 14e849a2
  Markus Klinik authored Sep 18, 2020
  
  14e849a2
- c2 scheduling: final revision · 0faa07d3
  Markus Klinik authored Sep 18, 2020
  
  0faa07d3
- symbolic tophat: final revision · 8059edd6
  Markus Klinik authored Sep 18, 2020
  
  8059edd6
- path condition -> path constraint · 114b0614
  Markus Klinik authored Sep 18, 2020
  
  114b0614
- comment · bda8d745
  Markus Klinik authored Sep 18, 2020
  
  bda8d745
17 Sep, 2020 3 commits
- tophat: final revision · 8379adc1
  Markus Klinik authored Sep 17, 2020
  
  8379adc1
- SECA: complete semantics final revision · ff40d4f5
  Markus Klinik authored Sep 17, 2020
  
  ff40d4f5
- SECA: final revision · ad017826
  Markus Klinik authored Sep 17, 2020
  
  ad017826
16 Sep, 2020 3 commits
- RTA: final revision · f0f866c6
  Markus Klinik authored Sep 16, 2020
  
  f0f866c6
- RA: final revision · c3f33958
  Markus Klinik authored Sep 16, 2020
  
  c3f33958
- introduction: final revision · ab8e0b35
  Markus Klinik authored Sep 16, 2020
  
  ab8e0b35
15 Sep, 2020 24 commits
- pagestyle; toc comes after abstract · 9c104cb5
  Markus Klinik authored Sep 15, 2020
  
  9c104cb5
- shorten sentence to make it fit on one page · 242e8802
  Markus Klinik authored Sep 15, 2020
  
  242e8802
- put summary in the beginning · 19952ab0
  Markus Klinik authored Sep 15, 2020
  
  19952ab0
- update bibliography · de4628e3
  Markus Klinik authored Sep 15, 2020
  
  de4628e3
- fix some underfull hboxes related to URLs · c572ddc3
  Markus Klinik authored Sep 15, 2020
  
  c572ddc3
- fix overfull hbox · 588af9cb
  Markus Klinik authored Sep 15, 2020
  
  588af9cb
- reduce overfull hbox · 308ea8e1
  Markus Klinik authored Sep 15, 2020
  
  308ea8e1
- remove unused macro · 5d4a23e4
  Markus Klinik authored Sep 15, 2020
  
  5d4a23e4
- don't use textbf unnecessarily · 5239d363
  Markus Klinik authored Sep 15, 2020
  
  5239d363
- conclusion and backmatter outside last part · 88ada9c1
  Markus Klinik authored Sep 15, 2020
  
  88ada9c1
- remove dead code · 21ba05f9
  Markus Klinik authored Sep 15, 2020
  
  21ba05f9
- don't highlight topic sentences · ca96e6f0
  Markus Klinik authored Sep 15, 2020
  
  ca96e6f0
- RA: citation sentence structure · 0485daeb
  Markus Klinik authored Sep 15, 2020
  
  0485daeb
- RDM: citation sentence structure · 676a0390
  Markus Klinik authored Sep 15, 2020
  
  676a0390
- tophat: citation sentence structure · e5209185
  Markus Klinik authored Sep 15, 2020
  
  e5209185
- update bibliography · de89a6ae
  Markus Klinik authored Sep 15, 2020
  
  de89a6ae
- load natbib with explicit style · b122c758
  Markus Klinik authored Sep 15, 2020
  
  b122c758
- c2 planning: citation sentence structure · 6330d897
  Markus Klinik authored Sep 15, 2020
  
  6330d897
- seca: citation sentence structure · d52c4e12
  Markus Klinik authored Sep 15, 2020
  
  d52c4e12
- resource task management: citation sentence structure · 9906c369
  Markus Klinik authored Sep 15, 2020
  
  9906c369
- symbolic tophat: citation sentence structure · 1b367959
  Markus Klinik authored Sep 15, 2020
  
  1b367959
- RTA: citation sentence structure · 88e67ffd
  Markus Klinik authored Sep 15, 2020
  
  88e67ffd
- introduction: citation sentence structure · 5f5dbc15
  Markus Klinik authored Sep 15, 2020
  
  5f5dbc15
- use natbib · 592f1882
  Markus Klinik authored Sep 15, 2020
  
  592f1882
14 Sep, 2020 2 commits
- fix scope of \id · 8243f52f
  Markus Klinik authored Sep 14, 2020
  
  8243f52f
- turn fact into lemma, cref doesn't know facts · 393d6cae
  Markus Klinik authored Sep 14, 2020
  
  393d6cae