Commits · 14f4bcfeecde7b3ae8e10bdccd7095ec9e07b932 · Richard Marcus / www

Apr 03, 2018
- collaborator · 14f4bcfe
  Michael Kohlhase authored 6 years ago
  
  14f4bcfe
- Tom also helps · fc302f23
  Michael Kohlhase authored 6 years ago
  
  fc302f23
- more · 3e04a28a
  Michael Kohlhase authored 6 years ago
  
  3e04a28a
- acknowledging funding · 756718f1
  Michael Kohlhase authored 6 years ago
  
  756718f1
- br · dee98038
  Michael Kohlhase authored 6 years ago
  
  dee98038
- added funding for projects · 3d1b8adb
  Michael Kohlhase authored 6 years ago
  
  3d1b8adb
- more · 05f30304
  Michael Kohlhase authored 6 years ago
  
  05f30304
- adding publinks · 20eb58a1
  Michael Kohlhase authored 6 years ago
  
  20eb58a1
- more metadata · cd646712
  Michael Kohlhase authored 6 years ago
  
  cd646712
- muchg more · 59624556
  Michael Kohlhase authored 6 years ago
  
  59624556
- typos and metadata · ee5599c0
  Michael Kohlhase authored 6 years ago
  
  ee5599c0
- typo · fdca099b
  Michael Kohlhase authored 6 years ago
  
  fdca099b
- more metadata · 4bbb9fa0
  Michael Kohlhase authored 6 years ago
  
  4bbb9fa0
- more metadata · 3449dc0b
  Michael Kohlhase authored 6 years ago
  
  3449dc0b
- adding pubs · 253cfeb9
  Michael Kohlhase authored 6 years ago
  
  253cfeb9
- more project-like · 87edafc1
  Michael Kohlhase authored 6 years ago
  
  87edafc1
- reorg · 1a8114c5
  Michael Kohlhase authored 6 years ago
  
  1a8114c5
- adding teaser · 0b796829
  Michael Kohlhase authored 6 years ago
  
  0b796829
- more · 8a1043e0
  Michael Kohlhase authored 6 years ago
  
  8a1043e0
Apr 01, 2018
- Merge branch 'master' of gl.kwarc.info:kwarc/kwarc.info/www · 51d32c19
  Michael Kohlhase authored 6 years ago
  
  51d32c19
- new semester · 7cdb24b3
  Michael Kohlhase authored 6 years ago
  
  7cdb24b3
Mar 29, 2018
- Update .gitlab-ci.yml · ed5cd254
  Tom Wiesing authored 6 years ago
  
  ed5cd254
- more semesters · 9604026b
  Michael Kohlhase authored 6 years ago
  
  9604026b
- typo · 2d99517a
  Michael Kohlhase authored 6 years ago
  
  2d99517a
- new semester · 3cfc5df3
  Michael Kohlhase authored 6 years ago
  
  3cfc5df3
Mar 27, 2018
- draining · c8af348d
  Michael Kohlhase authored 7 years ago
  
  c8af348d
Mar 22, 2018
- tweaks · 70f3af81
  Michael Kohlhase authored 7 years ago
  
  70f3af81
- more jobads · 33485a91
  Michael Kohlhase authored 7 years ago
  
  33485a91
- various fixes · 9fd88f26
  Michael Kohlhase authored 7 years ago
  
  9fd88f26
- recruiting again · aa179d60
  Michael Kohlhase authored 7 years ago
  
  aa179d60
- new · 4daf940c
  Michael Kohlhase authored 7 years ago
  
  4daf940c
Mar 05, 2018
- Update Tetrapod-2018.md · 4905cc4a
  Florian Rabe authored 7 years ago
  
  4905cc4a
Feb 19, 2018
- Update Tetrapod-2018.md · 87705cbb
  Florian Rabe authored 7 years ago
  
  87705cbb
- Update Tetrapod-2018.md · ee954cf5
  Florian Rabe authored 7 years ago
  
  ee954cf5
Feb 08, 2018
- typo · a2ce87c8
  Michael Kohlhase authored 7 years ago
  
  a2ce87c8
- typos · c28cb701
  Michael Kohlhase authored 7 years ago
  
  c28cb701
- publications for projects · 1343c32e
  Michael Kohlhase authored 7 years ago
  
  1343c32e
Feb 06, 2018
- no talk this week · c2e59844
  Michael Kohlhase authored 7 years ago
  
  c2e59844
Jan 31, 2018
- Merge branch 'master' of gl.kwarc.info:kwarc/kwarc.info/www · 902199bc
  Michael Kohlhase authored 7 years ago
  
  902199bc
- clarificagtion · 1bc64763
  Michael Kohlhase authored 7 years ago
  
  1bc64763