Update change notes

src/main/html/change-notes.html

@@ -1,26 +1,11 @@
 Language updates:
 <ul>
-    <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>
+    <li>Implemented language extensions</li>
+    <li>Show conditions in goals</li>
 </ul>
 
 Plugin updates:
 <ul>
-    <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>
+    <li>Implemented "show type" feature</li>
+    <li>Implemented "normalize (sub)expression" feature</li>
 </ul>