Skip to content

Tags: ProofFrog/ProofFrog

Tags

v0.4.1

Toggle v0.4.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Add release notes and update project configuration for v0.4.1 release (

…#207)

vscode-v0.1.0

Toggle vscode-v0.1.0's commit message

v0.4.0

Toggle v0.4.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #201 from ProofFrog/release-v0.4.0

Add release notes and update project configuration for v0.4.0 release

v0.3.1

Toggle v0.3.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Update release notes and bump version to 0.3.1 (#109)

Co-authored-by: Claude Opus 4.6 <[email protected]>

v0.3.0

Toggle v0.3.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Add release notes and bump version to 0.3.0 (#99)

Add RELEASE.md with release notes covering all changes since v0.2.0
and update pyproject.toml with the new version number and a release
notes URL.

Co-authored-by: Claude Opus 4.6 <[email protected]>

v0.2.0

Toggle v0.2.0's commit message

v0.1.1

Toggle v0.1.1's commit message

v0.1.0

Toggle v0.1.0's commit message