Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Releases: onriv/lean4ij

0.2.8-beta.8

23 Oct 04:59
@github-actions github-actions
0.2.8-beta.8
d9b4e0d
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
0.2.8-beta.8 Pre-release
Pre-release
  • #165, fix #164, Fix completions deleting everything before the caret
Loading

0.2.8-beta.7

23 Oct 04:16
@github-actions github-actions
0.2.8-beta.7
863611d
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
0.2.8-beta.7 Pre-release
Pre-release
  • #165, fix #164, Fix completions deleting everything before the caret
Loading

0.2.8-beta.6

23 Oct 02:32
@github-actions github-actions
0.2.8-beta.6
60319d8
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
0.2.8-beta.6 Pre-release
Pre-release
  • #165, fix #164, Fix completions deleting everything before the caret
Loading

0.2.8-beta.5

23 Oct 01:44
@github-actions github-actions
0.2.8-beta.5
f4ba1d9

Choose a tag to compare

View all tags
0.2.8-beta.5 Pre-release
Pre-release
  • #165, fix #164, Fix completions deleting everything before the caret
Loading

0.2.8-beta.4

22 Oct 15:56
@github-actions github-actions
0.2.8-beta.4
4f29f32

Choose a tag to compare

View all tags
0.2.8-beta.4 Pre-release
Pre-release
  • #165, fix #164, Fix completions deleting everything before the caret
Loading

0.2.8-beta.3

22 Oct 01:34
@github-actions github-actions
0.2.8-beta.3
19dfab6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
0.2.8-beta.3 Pre-release
Pre-release
  • #165, fix #164, Fix completions deleting everything before the caret
Loading

0.2.8-beta.2

20 Oct 13:18
@github-actions github-actions
0.2.8-beta.2
bb7ee2a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
0.2.8-beta.2 Pre-release
Pre-release
  • #165, fix #164, Fix completions deleting everything before the caret
Loading

v0.2.8-beta.1

28 Jul 02:44
@github-actions github-actions
v0.2.8-beta.1
9a9477b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v0.2.8-beta.1 Pre-release
Pre-release

Depend on the latest approved nightly build of LSP4IJ: 0.15.0-20250725-090628

  • #165, fix #164, Fix completions deleting everything before the caret
Loading

v0.2.8-beta.0

28 Jul 01:18
@github-actions github-actions
v0.2.8-beta.0
1429813
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v0.2.8-beta.0 Pre-release
Pre-release

Depend on the latest approved nightly build of LSP4IJ: 0.15.0-20250725-090628

  • #165, fix #164, Fix completions deleting everything before the caret
Loading

v0.2.7

13 Apr 17:01
@github-actions github-actions
v0.2.7
8eb5ac1

Choose a tag to compare

View all tags
v0.2.7 Latest
Latest

Depend on the latest approved nightly build of LSP4IJ: 0.12.1-20250411-162341
The following work is @enigmurl enigmurl's great efforts!

  • add mini infoview (toggle with Ctrl+Quote, or from action menu)

Contributors

enigmurl
Assets 3
Loading