1.6.1 -> 1.7

build.gradle.kts

@@ -7,7 +7,7 @@ import org.jetbrains.intellij.tasks.PatchPluginXmlTask
 
 val projectArend = gradle.includedBuild("Arend")
 group = "org.arend.lang"
-version = "1.6.1"
+version = "1.7.0"
 
 plugins {
     idea
@@ -55,7 +55,7 @@ idea {
 }
 
 intellij {
-    version.set("2021.2")
+    version.set("2021.2.1")
     pluginName.set("Arend")
     updateSinceUntilBuild.set(true)
     instrumentCode.set(true)

src/main/html/change-notes.html

@@ -1 +1,39 @@
-Fixed a critical bug
+Language updates:
+<ul>
+    <li>Type synonyms</li>
+    <li>Arrays</li>
+    <li>Pattern matching in lambdas and \let expressions</li>
+    <li>Multiple level parameters in definitions</li>
+    <li>Ability to change levels in class extensions</li>
+    <li>Improved inference of implicit arguments of function types</li>
+</ul>
+
+Plugin updates:
+<ul>
+    <li>New quick-fixes:
+    <ul>
+        <li>Hide import</li>
+        <li>Fix failed class instance inference</li>
+    </ul>
+    </li>
+    <li>New intentions:
+    <ul>
+        <li>Replace with short name</li>
+        <li>Generate function</li>
+        <li>Swap infix operator arguments</li>
+        <li>Add and Remove clarifying parentheses</li>
+        <li>New "Redundant parentheses" inspection</li>
+        <li>Better support for Prelude</li>
+        <li>Better support for Metas</li>
+    </ul>
+    </li>
+</ul>
+
+API:
+<ul>
+    <li>The locale of real numbers</li>
+    <li>Compactness of the interval and local compactness of reals</li>
+    <li>Spectrum of a ring</li>
+    <li>Sheaves</li>
+    <li>rewriteEq meta</li>
+</ul>