Skip to content

Releases: leanprover-community/ProofWidgets4

v0.0.24-pre2

20 Dec 10:56
@Vtec234 Vtec234
v0.0.24-pre2
bf61e90
This commit 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.
Compare
Choose a tag to compare
v0.0.24-pre2 Pre-release
Pre-release 
feat: adapt to core changes in lean4#2964
Assets 5
Loading

v0.0.24-pre

16 Dec 23:03
@Vtec234 Vtec234
v0.0.24-pre
4bc9cd8
This commit 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.
Compare
Choose a tag to compare
v0.0.24-pre Pre-release
Pre-release 
doc: refer
Assets 5
Loading

v0.0.23

20 Nov 03:36
@github-actions github-actions
v0.0.23
909febc
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.23 
Merge pull request #34 from leanprover-community/bump_rc2

chore: bump lean to `v4.3.0-rc2`
Assets 5
Loading

v0.0.23-pre

14 Nov 04:15
@github-actions github-actions
v0.0.23-pre
bbc68b4
Compare
Choose a tag to compare
v0.0.23-pre Pre-release
Pre-release

This pre-release is built using leanprover/lean4#2766, which changes the olean format.

Assets 5
Loading

v0.0.22

10 Nov 21:09
@Vtec234 Vtec234
v0.0.22
c3b9f0d
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.22 
ci: specify build dir
Assets 5
Loading

v0.0.22-pre

08 Nov 17:02
@Vtec234 Vtec234
v0.0.22-pre
a27f24a
This commit 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.
Compare
Choose a tag to compare
v0.0.22-pre Pre-release
Pre-release 
build: force build directory
Assets 5
Loading

v0.0.21

24 Oct 16:52
@Vtec234 Vtec234
v0.0.21
f1a5c78
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.21 
Fix macOS CI (#31)

* ci: don't copy macOS metadata files

* ci: build widgets separately

* ci: typo

* ci: install more ram
Assets 5
Loading

v0.0.20

24 Oct 02:52
@Vtec234 Vtec234
v0.0.20
8e808df
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.20
  • ci: create releases for each tag and upload builds by @Vtec234 in #29

Full Changelog: v0.0.19...v0.0.20

Contributors

Vtec234
Assets 4
Loading

v0.0.19

24 Oct 00:52
@kim-em kim-em
v0.0.19
5382e38
Compare
Choose a tag to compare
v0.0.19

Merge #28, "chore: bump Std; json% has been upstreamed"

Full Changelog: v0.0.18...v0.0.19

Assets 5
Loading

v0.0.18

04 Oct 22:00
@Vtec234 Vtec234
v0.0.18
27715d1
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.18 
Merge pull request #27 from PatrickMassot/new

feat: MakeEditLinkProps.ofReplaceRange improvement
Assets 5
Loading