Commits · 16722c23c453e8d5aadaed0673378bbdc5a65c27 · Richard Marcus / www

Jul 22, 2017
- Replace hard tab characters by spaces · d75e5a7f
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  d75e5a7f
Jul 01, 2017
- links · 4471d409
  Michael Kohlhase authored 7 years ago
  
  4471d409
- more · 9288c462
  Michael Kohlhase authored 7 years ago
  
  9288c462
- more · e2171547
  Michael Kohlhase authored 7 years ago
  
  e2171547
- table css · 4d3ac519
  Michael Kohlhase authored 7 years ago
  
  4d3ac519
- more · 56ca4135
  Michael Kohlhase authored 7 years ago
  
  56ca4135
- links and content · b549ca03
  Michael Kohlhase authored 7 years ago
  
  b549ca03
- fixing lots of URIs · 0df2ac48
  Michael Kohlhase authored 7 years ago
  
  0df2ac48
Jun 24, 2017
- Fix warnings · ad5cc975
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  ad5cc975
- adding teasers · a33b6f4d
  Michael Kohlhase authored 7 years ago
  
  a33b6f4d
- Prepare research pages for deployment · a4fe1c48
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  a4fe1c48
Jun 23, 2017
- Update titles of research pages (fixes #14 ) · 92e0037f
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  92e0037f
Jun 06, 2017
- Remove menu_title when not needed · 3c98be3c
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  3c98be3c
May 18, 2017
- Rework the menu · 95baa7dd
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  95baa7dd
Apr 30, 2017
- first skeleton · e8b53c19
  Michael Kohlhase authored 7 years ago
  
  e8b53c19