Commits · 800f53713ef5b6b8ed17b1da6c86d867e3359952 · Richard Marcus / www

Aug 25, 2017
- updating the repository · 800f5371
  Michael Kohlhase authored 7 years ago
  
  800f5371
- typo · 5e469819
  Michael Kohlhase authored 7 years ago
  
  5e469819
- capitalization · e7a4490d
  Michael Kohlhase authored 7 years ago
  
  e7a4490d
- adding student research · 17e5d8ac
  Michael Kohlhase authored 7 years ago
  
  17e5d8ac
- reorganizing · c45dd2b9
  Michael Kohlhase authored 7 years ago
  
  c45dd2b9
- moved to courses/theses.md · 3090ecdd
  Michael Kohlhase authored 7 years ago
  
  3090ecdd
- moved from 4students · 47baea5b
  Michael Kohlhase authored 7 years ago
  
  47baea5b
Aug 24, 2017
- more · 9aebcabb
  Michael Kohlhase authored 7 years ago
  
  9aebcabb
- shorter · e03ccfe6
  Michael Kohlhase authored 7 years ago
  
  e03ccfe6
- title · 560f2344
  Michael Kohlhase authored 7 years ago
  
  560f2344
- more · cd836b9b
  Michael Kohlhase authored 7 years ago
  
  cd836b9b
- typo · 532c6203
  Michael Kohlhase authored 7 years ago
  
  532c6203
- more · 461b7dd0
  Michael Kohlhase authored 7 years ago
  
  461b7dd0
- validating · 49cfef5a
  Michael Kohlhase authored 7 years ago
  
  49cfef5a
- obsoletemaster · 60dc1f50
  Michael Kohlhase authored 7 years ago
  
  60dc1f50
- testing · 9a20d479
  Michael Kohlhase authored 7 years ago
  
  9a20d479
- more · 9d5b8655
  Michael Kohlhase authored 7 years ago
  
  9d5b8655
- typos · f906606f
  Michael Kohlhase authored 7 years ago
  
  f906606f
- testing · d164281c
  Michael Kohlhase authored 7 years ago
  
  d164281c
- simplified · 36863776
  Michael Kohlhase authored 7 years ago
  
  36863776
- layout · 42978bc5
  Michael Kohlhase authored 7 years ago
  
  42978bc5
- errors · dc4cd889
  Michael Kohlhase authored 7 years ago
  
  dc4cd889
- more · ae5cffbb
  Michael Kohlhase authored 7 years ago
  
  ae5cffbb
- adding table · 56f7dc93
  Michael Kohlhase authored 7 years ago
  
  56f7dc93
- typos · 89b38073
  Michael Kohlhase authored 7 years ago
  
  89b38073
- more · 02cdf874
  Michael Kohlhase authored 7 years ago
  
  02cdf874
- more · c4cf1670
  Michael Kohlhase authored 7 years ago
  
  c4cf1670
- more · 7696efff
  Michael Kohlhase authored 7 years ago
  
  7696efff
- adding kwarcie · 14811d7d
  Michael Kohlhase authored 7 years ago
  
  14811d7d
Aug 23, 2017
- typpo · 16722c23
  Michael Kohlhase authored 7 years ago
  
  16722c23
- adding modules · 3c0c226e
  Michael Kohlhase authored 7 years ago
  
  3c0c226e
- new, mostly empty · 799484cf
  Michael Kohlhase authored 7 years ago
  
  799484cf
Jul 22, 2017
- Fix CV link on people pages · 55fc83de
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  55fc83de
- Fix typo · 1fec8c50
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  1fec8c50
- Replace hard tab characters by spaces · d75e5a7f
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  d75e5a7f
Jul 04, 2017
- Use new.kwarc.info for now · 80b2c1de
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  80b2c1de
- adding publications · d71d172b
  Michael Kohlhase authored 7 years ago
  
  d71d172b
Jul 02, 2017
- new · 78023f21
  Michael Kohlhase authored 7 years ago
  
  78023f21
Jul 01, 2017
- links · 4471d409
  Michael Kohlhase authored 7 years ago
  
  4471d409
- more · 9288c462
  Michael Kohlhase authored 7 years ago
  
  9288c462