diff --git a/CHANGELOG.md b/CHANGELOG.md index d971da8..6b0af29 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +4,11 @@ ## [Unreleased] +## [0.1.4] - 2024-11-11 + +Depend on the latest approved nightly build of LSP4IJ: 0.8.0-20241105-013235 +Depends on platformPlugins: [com.redhat.devtools.lsp4ij:0.8.0-20241105-013235@nightly] + - fix internal infoview document not popping up ## [0.1.3] - 2024-11-10 @@ -94,7 +99,8 @@ Depends on platformPlugins: [com.redhat.devtools.lsp4ij:0.7.0-20241006-013203@ni - Some more snippets involving the cursor - A setting page -[Unreleased]: https://github.com/onriv/lean4ij/compare/v0.1.3...HEAD +[Unreleased]: https://github.com/onriv/lean4ij/compare/v0.1.4...HEAD +[0.1.4]: https://github.com/onriv/lean4ij/compare/v0.1.3...v0.1.4 [0.1.3]: https://github.com/onriv/lean4ij/compare/v0.1.2...v0.1.3 [0.1.2]: https://github.com/onriv/lean4ij/compare/v0.1.1...v0.1.2 [0.1.1]: https://github.com/onriv/lean4ij/compare/v0.1.0...v0.1.1