Changelog update - `v0.0.17-beta.1`

onriv / lean4ij

A Lean4 plugin for the Intellij Platform

Apache License 2.0

5 stars 0 forks source link

Closed onriv closed 2 weeks ago

onriv commented 1 month ago

Current pull request contains patched CHANGELOG.md file for the v0.0.17-beta.1 version.