Release 1.2.0

JetBrains · Dec 15, 2019 · 24432b9 · 24432b9
1 parent dbe46eb
commit 24432b9
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 12 deletions.
diff --git a/src/main/kotlin/org/arend/psi/ArendTokenType.kt b/src/main/kotlin/org/arend/psi/ArendTokenType.kt
@@ -12,7 +12,7 @@ val AREND_KEYWORDS: TokenSet = TokenSet.create(
         OPEN_KW, IMPORT_KW, USING_KW, AS_KW, HIDING_KW, FUNC_KW, SFUNC_KW, LEMMA_KW, CONS_KW, CLASSIFYING_KW, NO_CLASSIFYING_KW, FIELD_KW, PROPERTY_KW, OVERRIDE_KW,
         NON_ASSOC_KW, LEFT_ASSOC_KW, RIGHT_ASSOC_KW, INFIX_NON_KW, INFIX_LEFT_KW, INFIX_RIGHT_KW,
         PROP_KW, WHERE_KW, WITH_KW, USE_KW, COWITH_KW, ELIM_KW, NEW_KW, PI_KW, SIGMA_KW, LAM_KW, LET_KW, LETS_KW,
-        IN_KW, CASE_KW, SCASE_KW, WITH_KW, DATA_KW, CLASS_KW, RECORD_KW, MODULE_KW, EXTENDS_KW,
+        IN_KW, CASE_KW, SCASE_KW, DATA_KW, CLASS_KW, RECORD_KW, MODULE_KW, EXTENDS_KW,
         RETURN_KW, COERCE_KW, INSTANCE_KW, TRUNCATED_KW,
         LP_KW, LH_KW, OO_KW, SUC_KW, MAX_KW, LEVEL_KW,
         SET, UNIVERSE, TRUNCATED_UNIVERSE, THIS_KW,

diff --git a/src/main/resources/META-INF/plugin.xml b/src/main/resources/META-INF/plugin.xml
@@ -1,7 +1,7 @@
 <idea-plugin>
     <id>org.arend.lang</id>
     <name>Arend</name>
-    <version>1.1.0</version>
+    <version>1.2.0</version>
     <vendor>JetBrains</vendor>
 
     <description><![CDATA[
@@ -13,20 +13,19 @@
     <change-notes><![CDATA[
       Language updates:
       <ul>
-        <li>Proof irrelevant \Prop</li>
-        <li>Right operator sections</li>
-        <li>New function and \case forms: \sfunc and \scase</li>
-        <li>Improved error messages</li>
+        <li>Implemented pattern matching on idp</li>
+        <li>New keyword \noclassifying can be used to define classes without classifying fields</li>
+        <li>The type of a field can be overridden with a subtype in a subclass using new keyword \override</li>
+        <li>Variables can be eliminated in \case expressions now</li>
+        <li>Implemented constructor synonyms</li>
+        <li>It is possible now to implement fields using pattern matching</li>
+        <li>Now, fields and implementations in a class are typechecked in the order they are specified</li>
       </ul>
 
       Plugin updates:
       <ul>
-        <li>Implemented background typechecking</li>
-        <li>Implemented pattern generator for missing clauses and case analysis</li>
-        <li>Improved class hierarchy</li>
-        <li>Added gutter icons for subclasses</li>
-        <li>Improved module configuration dialog</li>
-        <li>Fixed completion and inline renaming for infix and postfix notation</li>
+        <li>Fixed some problems with pattern generator and implemented case split for \Sigma-types and records</li>
+        <li>It is possible now to adjust the verbosity of pretty printer in error messages</li>
       </ul>
     ]]>
     </change-notes>