0.0.19.beta.2

CHANGELOG.md

@@ -7,11 +7,6 @@
 - change imports of infoview-app to [dynamic loading](https://github.com/leanprover/vscode-lean4/tree/master/lean4-infoview#loading-the-infoview), hence
 - adapt external infoview [widget](https://lean-lang.org/lean4/doc/examples/widgets.lean.html)
 - adapt apply edit like `simp?`
-- add filetype/language support
-- an icon temporally from [here](https://intellij-icons.jetbrains.design/#AllIcons-expui-breakpoints-breakpointLambda), create a PR or ISSUE if you find some better!
-
-## [0.0.19] - 2024-10-21
-
 - add support for goal hints in regular (i.e. non tactic) mode
 - add diagnostic hints
 - allow for collapsing of all inlay hints

gradle.properties

@@ -4,7 +4,7 @@ pluginGroup = lean4ij
 pluginName = lean4ij
 pluginRepositoryUrl = https://github.com/onriv/lean4ij
 # SemVer format -> https://semver.org
-pluginVersion = 0.0.19.beta.1
+pluginVersion = 0.0.19.beta.2
 
 # Supported build number ranges and IntelliJ Platform versions -> https://plugins.jetbrains.com/docs/intellij/build-number-ranges.html
 # For the dependence on textmate bundle api, the plugin must start build from 241