Skip to content

Releases: leanprover-community/ProofWidgets4

v0.0.53

03 Mar 13:37
@github-actions github-actions
v0.0.53
a602d13
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.53 Latest
Latest 
Merge pull request #108 from leanprover-community/bump_to_v4.18.0-rc1

chore: bump toolchain to v4.18.0-rc1
Assets 3
Loading

v0.0.52

03 Mar 10:30
@github-actions github-actions
v0.0.52
799f698
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.52 
Merge pull request #107 from leanprover-community/bump_to_v4.17.0

chore: bump toolchain to v4.17.0
Loading

v0.0.52-pre3

23 Feb 23:36
@github-actions github-actions
v0.0.52-pre3
6b234dc
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.52-pre3 Pre-release
Pre-release 
Merge pull request #106 from mhuisi/lean-pr-testing-7087

chore: adapt for leanprover/lean4#7087
Loading

v0.0.52-pre2

12 Feb 23:55
@tydeu tydeu
v0.0.52-pre2
322a050
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.52-pre2 Pre-release
Pre-release 
feat: customizable error message on build (#105)

* feat; customizable error message on build

* doc: add errorOnBuild to README

---------

Co-authored-by: Wojciech Nawrocki <[email protected]>
Loading

v0.0.52-pre

03 Feb 14:39
@github-actions github-actions
v0.0.52-pre
8fff3f0
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.52-pre Pre-release
Pre-release 
Merge pull request #104 from leanprover-community/bump_to_v4.17.0-rc1

chore: bump toolchain to v4.17.0-rc1
Loading

v0.0.51

03 Feb 09:06
@jcommelin jcommelin
v0.0.51
dafff53
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.51 
Merge pull request #103 from leanprover-community/bump_to_v4.16.0

chore: bump toolchain to v4.16.0
Loading

v0.0.51-pre

20 Jan 13:25
@github-actions github-actions
v0.0.51-pre
d090902
Compare
Choose a tag to compare
v0.0.51-pre Pre-release
Pre-release 
fix
Loading

v0.0.50

04 Jan 05:25
@github-actions github-actions
v0.0.50
07f60e9
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.50 
Merge pull request #101 from leanprover-community/bump_to_v4.16.0-rc1

chore: bump toolchain to v4.16.0-rc1
Loading

v0.0.49

04 Jan 03:29
@github-actions github-actions
v0.0.49
08171c2
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.49 
Merge pull request #100 from leanprover-community/bump_to_v4.15.0

chore: bump toolchain to v4.15.0
Loading

v0.0.49-pre2

20 Dec 14:17
@github-actions github-actions
v0.0.49-pre2
This tag was signed with the committer’s verified signature. The key has expired.
Vtec234 Wojciech Nawrocki
GPG key ID: 8DCB2EFB54B2F80A
Expired
Verified
Learn about vigilant mode.
70fad3a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.49-pre2 Pre-release
Pre-release 
v0.0.49-pre2
Loading