Commits · b2539ca612d487b6bd4dd041e501b5d4d33a2e84 · Richard Marcus / www

Oct 23, 2017
- no bottom line · b2539ca6
  Michael Kohlhase authored 7 years ago
  
  b2539ca6
- more · b6e2f01f
  Michael Kohlhase authored 7 years ago
  
  b6e2f01f
- more · f98dc46e
  Michael Kohlhase authored 7 years ago
  
  f98dc46e
- Merge branch 'master' of gl.kwarc.info:static/www.kwarc.info · 94070f8d
  Michael Kohlhase authored 7 years ago
  
  94070f8d
- adding first talk · ed9433a1
  Michael Kohlhase authored 7 years ago
  
  ed9433a1
Oct 19, 2017
- correct spelling of my name, add some more basic info · 8b83e88c
  Jonas Betzendahl authored 7 years ago
  
  Unverified
  
  8b83e88c
- tweaks · 5ad98fef
  Michael Kohlhase authored 7 years ago
  
  5ad98fef
Oct 18, 2017
- fixing title · e91bec22
  Michael Kohlhase authored 7 years ago
  
  e91bec22
- ooopsa · c3f28b11
  Michael Kohlhase authored 7 years ago
  
  c3f28b11
- more semesters · 64e4574d
  Michael Kohlhase authored 7 years ago
  
  64e4574d
- merge · ac4c65d5
  Michael Kohlhase authored 7 years ago
  
  ac4c65d5
- tabs · 0797b71b
  Michael Kohlhase authored 7 years ago
  
  0797b71b
- courses improved · 7514b31e
  Michael Kohlhase authored 7 years ago
  
  7514b31e
Oct 15, 2017
- Hide publinks when not available · d83c3415
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  d83c3415
- Fix missing bullets (fixes #2 ) · a0ff296d
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  a0ff296d
- giving the semester fixes: #5 · 577fe2cb
  Michael Kohlhase authored 7 years ago
  
  577fe2cb
- extending by orphans · db1a321e
  Michael Kohlhase authored 7 years ago
  
  db1a321e
- Merge branch 'master' of gl.kwarc.info:static/www.kwarc.info · 2505d12f
  Michael Kohlhase authored 7 years ago
  
  2505d12f
- upcoming · 1edb3ee6
  Michael Kohlhase authored 7 years ago
  
  1edb3ee6
- Handle orphaned systems in page and menu · b12f8347
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  b12f8347
- shorter title · 22918a7e
  Michael Kohlhase authored 7 years ago
  
  22918a7e
- Merge branch 'master' of gl.kwarc.info:static/www.kwarc.info · 58ee47ec
  Michael Kohlhase authored 7 years ago
  
  58ee47ec
- orphans · f1a8d448
  Michael Kohlhase authored 7 years ago
  
  f1a8d448
- new · 3f26fa4b
  Michael Kohlhase authored 7 years ago
  
  3f26fa4b
- Update menu items and make some headers clickable · b4cecdd7
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  b4cecdd7
- upddates · fc9434d4
  Michael Kohlhase authored 7 years ago
  
  fc9434d4
Oct 12, 2017
- Update edit links to point to gitlab · ed5b3dca
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  ed5b3dca
- Merge remote-tracking branch 'upstream/master' · e89b6358
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  e89b6358
Oct 11, 2017
- Update .gitlab-ci.yml · 59227adb
  Tom Wiesing authored 7 years ago
  
  59227adb
Oct 10, 2017
- Update Tetrapod-2018.md · 273bbdaa
  Florian Rabe authored 7 years ago
  
  273bbdaa
Oct 09, 2017
- updates · 39089243
  Michael Kohlhase authored 7 years ago
  
  39089243
- themen · 32921d64
  Michael Kohlhase authored 7 years ago
  
  32921d64
- better ORCIC/zbMATH · 77c6e611
  Michael Kohlhase authored 7 years ago
  
  77c6e611
- cleanup · f1b5dc2c
  Michael Kohlhase authored 7 years ago
  
  f1b5dc2c
- linking publications to github · af5f9f9b
  Michael Kohlhase authored 7 years ago
  
  af5f9f9b
- new semester · db8191bc
  Michael Kohlhase authored 7 years ago
  
  db8191bc
Oct 08, 2017
- adding fora · 3637520c
  Michael Kohlhase authored 7 years ago
  
  3637520c
Oct 07, 2017
- Merge branch 'master' of github.com:KWARC/kwarc.info · 2001af38
  Michael Kohlhase authored 7 years ago
  
  2001af38
- adding forum information · 12d97979
  Michael Kohlhase authored 7 years ago
  
  12d97979
Oct 06, 2017
- Migrate to GitLab CI · acd828d0
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  acd828d0