1.5.1 -> 1.6

build.gradle.kts

@@ -7,7 +7,7 @@ import org.jetbrains.intellij.tasks.PatchPluginXmlTask
 
 val projectArend = gradle.includedBuild("Arend")
 group = "org.arend.lang"
-version = "1.5.1"
+version = "1.6.0"
 
 plugins {
     idea

src/main/html/change-notes.html

@@ -1,23 +1,20 @@
 Language updates:
 <ul>
-    <li>String literals, which can be used in meta code</li>
-    <li>Meta resolvers, which can be used to modify the scoping rules for meta definitions</li>
-    <li>\strict parameters</li>
-    <li>Improved performance</li>
-    <li>Defined metas</li>
-    <li>Libraries can be loaded from zip archives without unpacking</li>
+    <li>Built-in finite types</li>
+    <li>Default implementations</li>
+    <li>Coerce to function types</li>
+    <li>\coerce for fields and constructors</li>
+    <li>\have declaration</li>
+    <li>Dot-syntax for dynamic definitions</li>
+    <li>Added more computational rules for + and - functions</li>
 </ul>
 
 Plugin updates:
 <ul>
-    <li>Completion of not-imported definitions</li>
-    <li>Rainbow highlighting</li>
-    <li>arend-lib can be downloaded and upgraded from the IDE</li>
+    <li>Quick fixes for "impossible elimination" and "expected constructor" errors</li>
 </ul>
 
 API:
 <ul>
-    <li>Arend console, which can be used to print information in the IDE instead of stdout</li>
-    <li>Clauses and coclauses can be passed to metas now</li>
-    <li>Saving and loading of typechecker state</li>
+    <li>Pattern typechecker</li>
 </ul>