v0.0.37

What's Changed

• Miscellaneous improvements 1 by @Vtec234 in #58
• Linear build by @Vtec234 in #59
• chore: bump toolchain to v4.8.0 by @semorrison in #62
• chore: rm and ignore widget/package-lock.json.log.json by @semorrison in #63
• chore: comment out 'javascript up to date' info msg by @semorrison in #64
• Bump toolchain to leanprover/lean4:v4.9.0-rc2 and assorted features by @Vtec234 in #66
• fix: build determinism across platforms by @Vtec234 in #67

Full Changelog: v0.0.36...v0.0.37

v0.0.37-pre2

Merge pull request #67 from leanprover-community/ci-determinism

fix: build determinism across platforms

v0.0.37-pre

Merge pull request #66 from leanprover-community/bump/v4.9.0-rc2

Bump toolchain to leanprover/lean4:v4.9.0-rc2 and assorted features

v0.0.36

Merge pull request #56 from leanprover-community/batteries

chore: update Std->Batteries

v0.0.35

Merge pull request #55 from leanprover-community/bump/v4.8.0

chore: move to v4.8.0-rc1

v0.0.35-pre

fix

v0.0.34

What's Changed

• chore: change the syntax node name to match the parser by @eric-wieser in #52
• fix: improve the delaborators for ProofWidgets.Html by @eric-wieser in #53
• feat: title of filter button depending on state by @JovanGerb in #51
• feat: implement JSX ... notation by @eric-wieser in #54

New Contributors

• @eric-wieser made their first contribution in #52

Full Changelog: v0.0.33...v0.0.34

v0.0.33

What's Changed

• feat: filterDetails component used in library rewrite by @JovanGerb in #50

New Contributors

• @JovanGerb made their first contribution in #50

Full Changelog: v0.0.32...v0.0.33

v0.0.32

chore: bump toolchain to v4.7.0

v0.0.31

Merge pull request #48 from leanprover-community/avoid_string_name_co…