Releases: jonaprieto/eventb-lean
Releases · jonaprieto/eventb-lean
Release list
v4.0.13
Full Changelog: v4.0.12...v4.0.13
v4.0.12
Full Changelog: v4.0.11...v4.0.12
v4.0.11
Full Changelog: v4.0.9...v4.0.11
v4.0.7
v4.0.7
This tag was signed with the committer’s verified signature.
What's Changed
- docs: sync related project links by @jonaprieto in #54
- chore(release): set version 4.0.7 by @jonaprieto in #55
Full Changelog: v4.0.6...v4.0.7
Contributors
jonaprieto
Assets 2
v4.0.6
v4.0.6
This tag was signed with the committer’s verified signature.
What's Changed
- build: adopt Lean v4.33.0 by @jonaprieto in #51
- refactor: totalize AST dump recursion by @jonaprieto in #52
- build: adopt precommit-lean v0.1.6 by @jonaprieto in #53
Full Changelog: v4.0.4...v4.0.6
Contributors
jonaprieto
Assets 2
v4.0.3
d1e6f81
This commit was signed with the committer’s verified signature.
Full Changelog: prototype-v4.0.1...v4.0.3
Prototype v4.0.1
7b587ff
This commit was signed with the committer’s verified signature.
Updated Grip to v0.1.0 and Argus to v0.4.4; added the package version declaration v4.0.1.
Prototype v4.0.0
4f84a9a
This commit was signed with the committer’s verified signature.