Merge pull request #40 from onriv/changelog-update-v0.1.0

Changelog update - `v0.1.0`

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