search

JetBrains / intellij-arend

Arend plugin for IntelliJ IDEA
Apache License 2.0
90 stars 12 forks source link

Support 2024.2? #519

Closed ice1000 closed 1 month ago

ice1000 commented 3 months ago

2024.2 is released!

6e69636b commented 2 months ago

Is your issue that Arend is not available for 2024.2? That is the experience I am having. I am unable to find exactly which versions of IntelliJ IDEA Arend is available for as a plugin. Is there a list somewhere I've overlooked? Thanks.

ice1000 commented 2 months ago

Is your issue that Arend is not available for 2024.2? That is the experience I am having. I am unable to find exactly which versions of IntelliJ IDEA Arend is available for as a plugin. Is there a list somewhere I've overlooked? Thanks.

It's currently on 2024.1 or 2024.1.x