diff --git a/bin/stainless-cli b/bin/stainless-cli
index 3d4ca9d9c..9ea50081a 100755
--- a/bin/stainless-cli
+++ b/bin/stainless-cli
@@ -80,6 +80,6 @@ BASE_DIR="$( dirname "$( realpath "${BASH_SOURCE[0]}" )" )"
 JARS="$BASE_DIR/lib"
 
 # NOTE: $JAVA_OPTS not quoted, as it may be empty!
-TORUN="scala-cli --jar ${JARS}/stainless-library.jar ${JARS}/stainless-library-sources.jar $@"
+TORUN="scala-cli -S 3.5.2 --jar ${JARS}/stainless-library.jar ${JARS}/stainless-library-sources.jar $@"
 echo $TORUN
 ${TORUN}
diff --git a/docs/RELEASE_NOTES.md b/docs/RELEASE_NOTES.md
index 3ea8252a2..e70881e10 100644
--- a/docs/RELEASE_NOTES.md
+++ b/docs/RELEASE_NOTES.md
@@ -1,5 +1,13 @@
 # Release Notes
 
+- Scala version is now 3.5.2 
+- Update to Inox that supports Horn clause solving, https://github.com/epfl-lara/inox/pull/214
+- Fix an extraction bug with type synonym definitions (#1595)
+- Explicit measures in List library so termination checks are cached
+- More properties and methods on lists and sets
+- Set considered to have positive polarity (it is finite)
+- Internal solver errors are now silent by default
+
 ## Version 0.9.8.9 (2024-10-19)
 
 - Default cache now only stores SHA-256 hash of formulas ( -binary-cache=true for old version)