Document earlier change that impacted Statix API.

source/release/migrate/2.5.10.md

@@ -0,0 +1,19 @@
+```eval_rst
+.. _2.5.10-migration-guide:
+```
+
+# Spoofax 2.5.10 Migration Guide
+
+A change in Statix need migration for users of the Startego API.
+
+## Statix
+
+The AST property type is now a built-in property. Users of the Stratego API to
+get this property should change their API calls. Instead of
+
+    stx-get-ast-property(|a, "type")
+
+one should now use:
+
+    stx-get-ast-type(|a)
+

source/release/migrate/index.rst

@@ -7,6 +7,7 @@ This section contains the migration guides for releases and nightly builds of Sp
 .. toctree::
    :maxdepth: 1
 
+   2.5.10 <2.5.10>
    2.5.5 <2.5.5>
    2.2.0 <2.2.0>
    2.1.0 <2.1.0>

source/release/note/2.5.10.rst

@@ -35,6 +35,7 @@ Statix
 
 - New project that use Statix automatically have the Statix signature generator enabled. For this to work properly, declare your lexical and context-free sorts in SDF3 explicitly. See the :ref:`Statix signature generator <statix-signature-generator>` documentation for more information.
 - Statix specifications are now compiled as much as possible, even if there are errors in some files. Errors in Statix files that are not actually imported, do not cause analysis to fail on an empty specification anymore.
+- The AST property `type` is now a built-in, which is automatically used in the default editor hover strategy.
 
 Stratego
 ~~~~~~~~