From d4af1dd7371a448a953c2ff37d9e2928b2f7da73 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Sun, 27 Oct 2024 13:28:18 +0000 Subject: [PATCH] Changelog update - v0.1.0 --- CHANGELOG.md | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 7e892fd..f30ea03 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -3,12 +3,18 @@ # lean4ij Changelog ## [Unreleased] + +## [0.1.0] - 2024-10-27 + +Depend on the latest approved nightly build of LSP4IJ: 0.7.1-20241027-013436 +Depends on platformPlugins: [com.redhat.devtools.lsp4ij:0.7.1-20241027-013436@nightly, org.jetbrains.plugins.textmate] + - register file type "lean4", dummy lexer/parser (marked as 0.1.0 for this change) - temp icons (with the author's poor design skill) for toolwindow and file - restricting scope for live templates to lean4 - add commenter - actions for toggle infoview and open infoview in browser -- fix wrongly lsp/inlay-hints for non-lean files +- @enigmurl fixes wrongly lsp/inlay-hints for non-lean files - respect `#check` etc. inlay-hints to current scheme - actions for increase/decrease/reset zoom level for jcef infoview @@ -48,7 +54,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.0.19...HEAD +[Unreleased]: https://github.com/onriv/lean4ij/compare/v0.1.0...HEAD +[0.1.0]: https://github.com/onriv/lean4ij/compare/v0.0.19...v0.1.0 [0.0.19]: https://github.com/onriv/lean4ij/compare/v0.0.18...v0.0.19 [0.0.18]: https://github.com/onriv/lean4ij/compare/v0.0.17...v0.0.18 [0.0.17]: https://github.com/onriv/lean4ij/commits/v0.0.17