From 10965de123a9f87baeb58522b614a57db1a9c74c Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Mon, 16 Dec 2024 16:03:34 +0000 Subject: [PATCH] Changelog update - v0.1.9 --- CHANGELOG.md | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 10d7081..01c886b 100644 --- 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