Skip to content

Changes

#3 (May 4, 2023, 2:02:40 PM)

  1. Initial commit of file with name candidates — Tidefelt Henrik / githubweb
  2. Added more names — noreply / githubweb
  3. Change 'Flat Modelica' -> 'Base Modelica' in most places — Tidefelt Henrik / githubweb
  4. Rename file to reflect new name of the game — Tidefelt Henrik / githubweb
  5. Rename things in grammar to reflect new name of the game — Tidefelt Henrik / githubweb
  6. Update "(Flat) Modelica" — Tidefelt Henrik / githubweb
  7. Use new terminology of 'lowering' — Tidefelt Henrik / githubweb
  8. Check off roadmap item "Settle the name" — Tidefelt Henrik / githubweb
  9. Update pre-test-impl.md — noreply / githubweb

#3 (May 4, 2023, 2:02:40 PM)

  1. Initial commit of file with name candidates — Tidefelt Henrik / githubweb
  2. Added more names — noreply / githubweb
  3. Change 'Flat Modelica' -> 'Base Modelica' in most places — Tidefelt Henrik / githubweb
  4. Rename file to reflect new name of the game — Tidefelt Henrik / githubweb
  5. Rename things in grammar to reflect new name of the game — Tidefelt Henrik / githubweb
  6. Update "(Flat) Modelica" — Tidefelt Henrik / githubweb
  7. Use new terminology of 'lowering' — Tidefelt Henrik / githubweb
  8. Check off roadmap item "Settle the name" — Tidefelt Henrik / githubweb
  9. Update pre-test-impl.md — noreply / githubweb

#2 (Apr 27, 2023, 3:28:15 PM)

  1. Update pre-test-impl.md — noreply / githubweb