v1.9.3+coq8.18
Pre-release
Pre-release
·
696 commits
to main
since this release
v1.9.3+coq8.18
rtetley
Romain Tetley
This tag was signed with the committer’s verified signature.
The key has expired.
rtetley
Romain Tetley
What's Changed
- Add commands in editor context menu. by @rtetley in #588
- Handle queries from the editor by @rtetley in #589
- Query error handling by @rtetley in #542
- Query panel look and feel by @rtetley in #590
- Support diff mode by @maximedenes in #593
- Support for shelved and given up goals. by @rtetley in #592
- Support for messages in proofview by @maximedenes in #595
Full Changelog: v1.9.2+coq8.18...v1.9.3+coq8.18
Contributors
maximedenes and rtetley