diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
new file mode 100644
index 0000000000..14779b23b6
--- /dev/null
+++ b/RELEASE-NOTES.md
@@ -0,0 +1,13 @@
+## 0.24.0
+
+### Breaking changes
+* `RECURSIVE` operators and functions are no longer supported, see #1569
+* rename Apalache `FoldSet` and `FoldSeq` to `ApaFoldSet` and `ApaFoldSeqLeft`, see #1617
+
+### Features
+
+* Add the operator `Apalache!Guess`, see #1590 and #888
+* Extend the type parser to support ADR014 (experimental), see #1602
+* Keramelizer now rewrites \subseteq using forall quantification, see #1408
+* Builtin operators can be passed as arguments to HO operators, see #1630
+* Optimize set membership for record sets, see #1629
\ No newline at end of file
diff --git a/UNRELEASED.md b/UNRELEASED.md
index 78c0c3bbe8..84488f67af 100644
--- a/UNRELEASED.md
+++ b/UNRELEASED.md
@@ -10,14 +10,3 @@
          * Some bug fix, see #124
 
      DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE -->
-### Breaking changes
-* `RECURSIVE` operators and functions are no longer supported, see #1569
-* rename Apalache `FoldSet` and `FoldSeq` to `ApaFoldSet` and `ApaFoldSeqLeft`, see #1617
-
-### Features
-
-* Add the operator `Apalache!Guess`, see #1590 and #888
-* Extend the type parser to support ADR014 (experimental), see #1602
-* Keramelizer now rewrites \subseteq using forall quantification, see #1408
-* Builtin operators can be passed as arguments to HO operators, see #1630
-* Optimize set membership for record sets, see #1629
\ No newline at end of file
diff --git a/VERSION b/VERSION
index 815c7478d2..2094a100ca 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.23.2-SNAPSHOT
+0.24.0