Skip to content

v0.6.25

Choose a tag to compare

@github-actions github-actions released this 03 Nov 09:51
· 46 commits to main since this release
v0.6.25
b3a2024

What's Changed

  • Let curate turn example and proof records into nodes by @tamnd in #534
  • Let curate turn exercise records into exercise nodes by @tamnd in #536

Full Changelog: v0.6.24...v0.6.25