v0.0.78

chore: bump toolchain to v4.25.0-rc2 (#140)

v0.0.77

chore: port to module system (#137)

v0.0.76

chore: bump toolchain to v4.25.0-rc1 (#139)

v0.0.76-pre

deprecation

v0.0.75

Merge pull request #138 from leanprover-community/bump_to_v4.24.0

chore: bump toolchain to v4.24.0

v0.0.75-pre3

Update deprecation

v0.0.75-pre2

remove open private

v0.0.75-pre

workaround

v0.0.74

Merge pull request #135 from leanprover-community/ignore-hash

fix: remove & ignore `widget/package-lock.json.hash`

v0.0.73

Merge pull request #134 from leanprover-community/bump_to_v4.24.0-rc1

chore: bump toolchain to v4.24.0-rc1