Commits · master · ODK / FindStat

Oct 22, 2020
- \baseuri_is_deprecated · d9185b2e
  Michael Kohlhase authored 4 years ago
  
  d9185b2e
Oct 03, 2020
- eliminating_input_localpaths_update_to_newest_sTeX · e3af5b92
  Michael Kohlhase authored 4 years ago
  
  e3af5b92
Oct 30, 2018
- typos · 5f828a33
  Michael Kohlhase authored 6 years ago
  
  5f828a33
Jul 31, 2017
- updating · 69302f39
  Michael Kohlhase authored 7 years ago
  
  69302f39
Jan 27, 2017
- mailaddress_kwarc · 928b8f70
  content-issues authored 8 years ago
  
  928b8f70
Feb 12, 2016
- restricting the shorthands · 8474814b
  Michael Kohlhase authored 9 years ago
  
  8474814b
Jan 26, 2016
- fix title in manifest · eb91d595
  Mihnea Iancu authored 9 years ago
  
  eb91d595
- FindStat · bcd3fc2a
  Paul-Olivier Dehaye authored 9 years ago
  
  bcd3fc2a
- Moved FindStat.mmt to source/ folder · 4eb59dab
  Paul-Olivier Dehaye authored 9 years ago
  
  4eb59dab
- Merge branch 'master' of gl.mathhub.info:ODK/FindStat · 2af3555b
  Michael Kohlhase authored 9 years ago
  
  2af3555b
- initial metadata · 6e90e9c3
  Michael Kohlhase authored 9 years ago
  
  6e90e9c3
- Added first draft of MMT theory for FindStat · cdc55298
  Paul-Olivier Dehaye authored 9 years ago
  
  cdc55298