Attempt at fixing release notes after merge 319b490

source/release/note/2.5.12.rst

@@ -17,16 +17,26 @@ Under the Stratego language options in your ``metaborg.yaml`` file you can turn
 NaBL2
 ~~~~~
 
-NaBL2 supports a new resolution algorithm based on fexid-point environment computation instead of graph search, which can be enabled by adding ``strategy environments`` to the ``name-resolution`` signature section.
-It has much better performance characteristics, especially when dealing with mutually importing scopes and transitive imports.
-Compared the the search-based, the environment-based algorithm can get stuck on scope graphs with cycles involving scopes importing references that can be resolved via that same scope.
-Note that the environment-based algorithm may increase memory usage.
-The default remains the search-based algorithm.
+* NaBL2 supports a new resolution algorithm based on fexid-point
+  environment computation instead of graph search, which can be
+  enabled by adding ``strategy environments`` to the
+  ``name-resolution`` signature section.  It has much better
+  performance characteristics, especially when dealing with mutually
+  importing scopes and transitive imports.  Compared the the
+  search-based, the environment-based algorithm can get stuck on scope
+  graphs with cycles involving scopes importing references that can be
+  resolved via that same scope.  Note that the environment-based
+  algorithm may increase memory usage.  The default remains the
+  search-based algorithm.
+* If a file was already analyzed in the editor, it is not reanalyzed
+  on save anoymore.
 
 Statix
 ~~~~~~
 
-Analysis times of large, multi-file Statix specifications has improved significantly.
+* Analysis times of large, multi-file Statix specifications has improved significantly.
+* If a file was already analyzed in the editor, it is not reanalyzed
+  on save anoymore.
 
 Eclipse
 ~~~~~~~

source/release/note/vnext.rst

@@ -12,39 +12,4 @@ Changes
 SDF3
 ~~~~
 
-Stratego has two new reserved words: ``cast`` and ``is``. Local variables can be reserved words if they start with ``'``, so you can use ``'cast`` and ``'is``.
-
-Under the Stratego language options in your ``metaborg.yaml`` file you can turn on the gradual type system, if you use the incremental compiler. This option is ``gradual: static``, and only tests the types statically. The default is ``gradual: none`` right now, meaning the gradual type system is not on by default. There is an experimental third option ``gradual: dynamic`` which not only checks the types statically but also inserts casts to check types dynamically where necessary.
-
 ``prefer`` and ``avoid`` are now deprecated. Usages of the operators will be marked with a deprecation warning.
-
-NaBL2
-~~~~~
-
-* NaBL2 supports a new resolution algorithm based on fexid-point
-  environment computation instead of graph search, which can be
-  enabled by adding ``strategy environments`` to the
-  ``name-resolution`` signature section.  It has much better
-  performance characteristics, especially when dealing with mutually
-  importing scopes and transitive imports.  Compared the the
-  search-based, the environment-based algorithm can get stuck on scope
-  graphs with cycles involving scopes importing references that can be
-  resolved via that same scope.  Note that the environment-based
-  algorithm may increase memory usage.  The default remains the
-  search-based algorithm.
-* If a file was already analyzed in the editor, it is not reanalyzed
-  on save anoymore.
-
-Statix
-~~~~~~
-
-* Analysis times of large, multi-file Statix specifications has improved significantly.
-* If a file was already analyzed in the editor, it is not reanalyzed
-  on save anoymore.
-
-Eclipse
-~~~~~~~
-
-* Premade Eclipse installations have been updated from Eclipse Photon to Eclipse 2020-6.
-* Premade Eclipse installations for 32-bit Linux are no longer created.
-* Embedded JRE in premade Eclipse installations has been updated from 8u162 (Oracle JRE) to 8u265-b01 (AdoptOpenJDK).