Commits · 253cfeb95e55c468bee320b16e8baab1fc6106a4 · Richard Marcus / www

Apr 03, 2018
- 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
Jan 22, 2018
- Update mmt.md · cb13d96f
  Tom Wiesing authored 7 years ago
  
  cb13d96f
Jan 18, 2018
- adding a MaMoReD Workshop · e82181cd
  Michael Kohlhase authored 7 years ago
  
  e82181cd
Jan 17, 2018
- Update mamored.md · 2f4a0e2c
  Florian Rabe authored 7 years ago
  
  2f4a0e2c
- Update mamored.md · c8fd0f9c
  Florian Rabe authored 7 years ago
  
  c8fd0f9c
- Update mamored.md · 1ed60186
  Florian Rabe authored 7 years ago
  
  1ed60186
Jan 16, 2018
- Merge branch 'master' of gl.kwarc.info:kwarc/kwarc.info/www · 343ac804
  Michael Kohlhase authored 7 years ago
  
  343ac804
- *** empty log message *** · f6159213
  Michael Kohlhase authored 7 years ago
  
  f6159213
Jan 12, 2018
- Update wuv.md - typo · 4ccdc240
  Tom Wiesing authored 7 years ago
  
  4ccdc240
- moving and adding Dennis · a98c633b
  Michael Kohlhase authored 7 years ago
  
  a98c633b
Jan 10, 2018
- adding Frederik · 8cc0e84c
  Michael Kohlhase authored 7 years ago
  
  8cc0e84c
Jan 08, 2018
- more · aaf22a34
  Michael Kohlhase authored 7 years ago
  
  aaf22a34
Dec 29, 2017
- Make kwarc logo more transparent · ce7241ef
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  ce7241ef
- Update .gitlab-ci.yml · 9ab92d54
  Tom Wiesing authored 7 years ago
  
  9ab92d54
- Update twiesing.md · 45385d49
  Tom Wiesing authored 7 years ago
  
  45385d49