Skip to content

Releases: leanprover/verso

Verso manual (PDF and HTML)

22 Apr 06:43
@github-actions github-actions
latest
73836fe
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Verso manual (PDF and HTML) Pre-release
Pre-release

Bug Fixes

Loading

Release v4.29.0

30 Mar 11:08
@github-actions github-actions
v4.29.0
7ae82ac
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Release v4.29.0 Latest
Latest

Automated release for v4.29.0

Assets 4
Loading

Release v4.29.0-rc8

25 Mar 00:44
@github-actions github-actions
v4.29.0-rc8
9a192b6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Release v4.29.0-rc8

Automated release for v4.29.0-rc8

Loading

Release v4.29.0-rc7

24 Mar 03:45
@github-actions github-actions
v4.29.0-rc7
7ad685c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Release v4.29.0-rc7

Automated release for v4.29.0-rc7

Loading

Release v4.29.0-rc6

10 Mar 01:34
@github-actions github-actions
v4.29.0-rc6
e14ad15
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Release v4.29.0-rc6

Automated release for v4.29.0-rc6

Loading

Release v4.29.0-rc4

04 Mar 23:11
@github-actions github-actions
v4.29.0-rc4
52c1f4b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Release v4.29.0-rc4

Automated release for v4.29.0-rc4

Loading

Release v4.29.0-rc3

01 Mar 21:46
@github-actions github-actions
v4.29.0-rc3
dc20d6c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Release v4.29.0-rc3

Automated release for v4.29.0-rc3

Loading

Release v4.29.0-rc1

17 Feb 20:22
@github-actions github-actions
v4.29.0-rc1
e39d5bd
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Release v4.29.0-rc1

Automated release for v4.29.0-rc1

Loading

Release v4.28.0

16 Feb 14:10
@github-actions github-actions
v4.28.0
372f82e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Release v4.28.0

Automated release for v4.28.0

Loading

Release v4.28.0-rc1

25 Jan 18:52
@github-actions github-actions
v4.28.0-rc1
7681e6e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Release v4.28.0-rc1

Automated release for v4.28.0-rc1

Loading