Skip to content

Releases: leanprover-community/ProofWidgets4

v0.0.78

22 Oct 02:57
995d1c2

Choose a tag to compare

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

v0.0.77

21 Oct 03:45
fb8ed0a

Choose a tag to compare

chore: port to module system (#137)

v0.0.76

21 Oct 03:19
b1de866

Choose a tag to compare

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

v0.0.76-pre

19 Oct 22:42

Choose a tag to compare

v0.0.76-pre Pre-release
Pre-release
deprecation

v0.0.75

14 Oct 06:49
b21695e

Choose a tag to compare

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

chore: bump toolchain to v4.24.0

v0.0.75-pre3

02 Oct 10:42

Choose a tag to compare

v0.0.75-pre3 Pre-release
Pre-release
Update deprecation

v0.0.75-pre2

21 Sep 23:33

Choose a tag to compare

v0.0.75-pre2 Pre-release
Pre-release
remove open private

v0.0.75-pre

18 Sep 12:14

Choose a tag to compare

v0.0.75-pre Pre-release
Pre-release
workaround

v0.0.74

18 Sep 11:41
556caed

Choose a tag to compare

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

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

v0.0.73

15 Sep 06:48
c8d5769

Choose a tag to compare

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

chore: bump toolchain to v4.24.0-rc1