Merge pull request #89 from onriv/changelog-update-v0.1.9

Changelog update - `v0.1.9`
onriv · Dec 16, 2024 · 30394da · 30394da
2 parents d01f7e1 + 10965de
commit 30394da
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,14 @@
 
 ## [Unreleased]
 
+## [0.1.9] - 2024-12-16
+
+Depend on the latest approved nightly build of LSP4IJ: 0.9.0-20241214-112757
+Depends on platformPlugins: [com.redhat.devtools.lsp4ij:0.9.0-20241214-112757@nightly]
+
+- a frist impemlentation for run lean file
+- run configuration for lean (beta)
+
 ## [0.1.9-beta.2] - 2024-12-16
 
 Depend on the latest approved nightly build of LSP4IJ: 0.9.0-20241214-112757
@@ -152,7 +160,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.9-beta.2...HEAD
+[Unreleased]: https://github.com/onriv/lean4ij/compare/v0.1.9...HEAD
+[0.1.9]: https://github.com/onriv/lean4ij/compare/v0.1.9-beta.2...v0.1.9
 [0.1.9-beta.2]: https://github.com/onriv/lean4ij/compare/v0.1.8...v0.1.9-beta.2
 [0.1.8]: https://github.com/onriv/lean4ij/compare/v0.1.7...v0.1.8
 [0.1.7]: https://github.com/onriv/lean4ij/compare/v0.1.6...v0.1.7