Commits · e91bec2287edda1e764557109ee2e309f451123f · Richard Marcus / www

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
  
  d83c3415
- Fix missing bullets (fixes #2 ) · a0ff296d
  Tom Wiesing authored 7 years ago
  
  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
  
  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
  
  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
  
  ed5b3dca
- Merge remote-tracking branch 'upstream/master' · e89b6358
  Tom Wiesing authored 7 years ago
  
  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
  
  acd828d0
- Fix jekyll build warning · e4b54457
  Tom Wiesing authored 7 years ago
  
  e4b54457
Oct 04, 2017
- fixed Oxford/Cambridge thing · 938b4270
  Dennis Müller authored 7 years ago
  
  938b4270
Sep 18, 2017
- Update Tetrapod-2018.md · 8e7f1ba4
  Florian Rabe authored 7 years ago
  
  8e7f1ba4
- Update Tetrapod-2018.md · 4f180b7e
  Florian Rabe authored 7 years ago
  
  4f180b7e
- Update Tetrapod-2018.md · c01af36b
  Florian Rabe authored 7 years ago
  
  c01af36b
- tetrapod minor · 657daf19
  Dennis Müller authored 7 years ago
  
  657daf19
- merge Merge branch 'master' of https://github.com/KWARC/kwarc.info · 463e8d23
  Dennis Müller authored 7 years ago
  
  463e8d23