Commits · master · Richard Marcus / www

Apr 06, 2018
- more kwarc logos · 94942b71
  Michael Kohlhase authored 6 years ago
  
  94942b71
- adding more kwarc logos · a27b780e
  Michael Kohlhase authored 6 years ago
  
  a27b780e
- whitespace · f0d86b7c
  Michael Kohlhase authored 6 years ago
  
  f0d86b7c
- more · 38bd3086
  Michael Kohlhase authored 6 years ago
  
  38bd3086
- adding logo · 0e6c9e5c
  Michael Kohlhase authored 6 years ago
  
  0e6c9e5c
- dammed whitespace errors · e7c3279e
  Michael Kohlhase authored 6 years ago
  
  e7c3279e
- adding myself · 61e1a873
  Michael Kohlhase authored 6 years ago
  
  61e1a873
- ooops, logo links · f52823eb
  Michael Kohlhase authored 6 years ago
  
  f52823eb
- adding logos · 9c8a13cb
  Michael Kohlhase authored 6 years ago
  
  9c8a13cb
- List projects and systems on people pages · d1f5b794
  Tom Wiesing authored 6 years ago
  
  Unverified
  
  d1f5b794
- Cleanup include tags · 283368c5
  Tom Wiesing authored 6 years ago
  
  Unverified
  
  283368c5
Apr 04, 2018
- extended llamapun system description · 104f0887
  jfschaefer authored 6 years ago
  
  104f0887
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
- 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
- reorg · 1a8114c5
  Michael Kohlhase authored 6 years ago
  
  1a8114c5
- more · 8a1043e0
  Michael Kohlhase authored 6 years ago
  
  8a1043e0
Jan 22, 2018
- Update mmt.md · cb13d96f
  Tom Wiesing authored 7 years ago
  
  cb13d96f
Oct 23, 2017
- more · b5a7d773
  Michael Kohlhase authored 7 years ago
  
  b5a7d773
- more · ad103a3a
  Michael Kohlhase authored 7 years ago
  
  ad103a3a
- more · 0831e525
  Michael Kohlhase authored 7 years ago
  
  0831e525
- more · 85633c02
  Michael Kohlhase authored 7 years ago
  
  85633c02
Oct 15, 2017
- Handle orphaned systems in page and menu · b12f8347
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  b12f8347
- orphans · f1a8d448
  Michael Kohlhase authored 7 years ago
  
  f1a8d448
- new · 3f26fa4b
  Michael Kohlhase authored 7 years ago
  
  3f26fa4b
Jul 02, 2017
- new · 78023f21
  Michael Kohlhase authored 7 years ago
  
  78023f21
Jun 26, 2017
- documentation of supported-by · 0c2d7664
  Michael Kohlhase authored 7 years ago
  
  0c2d7664
Jun 24, 2017
- Fix warnings · ad5cc975
  Tom Wiesing authored 7 years ago
  
  Unverified
  
  ad5cc975
- adding funding metadata · f9f12e9e
  Michael Kohlhase authored 7 years ago
  
  f9f12e9e
- more · e32ce515
  Michael Kohlhase authored 7 years ago
  
  e32ce515
- no tabs · 85c4a7e6
  Michael Kohlhase authored 7 years ago
  
  85c4a7e6
- tab · f9ad8f24
  Michael Kohlhase authored 7 years ago
  
  f9ad8f24
- adding teasers · ea734e65
  Michael Kohlhase authored 7 years ago
  
  ea734e65