diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
new file mode 100644
index 0000000000..f1d48d5bbc
--- /dev/null
+++ b/RELEASE-NOTES.md
@@ -0,0 +1,28 @@
+## 0.15.4
+
+### Documentation
+
+* RFC006 on unit testing: see #741
+
+### Features
+
+* apalache quits with a non-zero exit code on counterexample or error, see #249
+* type checker: supporting one-line comments in types, see #773
+
+### Bug fixes
+
+* Parser: supporting annotations in multiline comments, see #718
+* Parser: supporting TLA+ identifiers in annotations, see #768
+* Parser: better parser for annotations, see #757
+* Parser: fixed two bugs in the declaration sorter, see #645 and #758
+* Printer: fixed the output for EXCEPT, see #746
+* Printer: fixed pretty printing of annotations, see #633
+* Printer: extending the standard modules, see #137
+* The command `config --enable-stats=true` creates `$HOME/.tlaplus` if needed, see #762
+* IO: replaced calls to deprecated JsonReader/JsonWriter. out-parser.json is now compliant with the new format, see #778
+
+### Changes
+
+* Builds: removed scoverage from maven, to improve build times
+* Docs: updated ADR002 and HOWTO on type annotations to explain comments
+* CLI: Users can set JVM args via the JVM_ARGS env var, see #790
diff --git a/UNRELEASED.md b/UNRELEASED.md
index 6ae3c8bdbd..84488f67af 100644
--- a/UNRELEASED.md
+++ b/UNRELEASED.md
@@ -10,29 +10,3 @@
          * Some bug fix, see #124
 
      DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE -->
-### Documentation
-
-* RFC006 on unit testing: see #741
-
-### Features
-
-* apalache quits with a non-zero exit code on counterexample or error, see #249
-* type checker: supporting one-line comments in types, see #773
-
-### Bug fixes
-
-* Parser: supporting annotations in multiline comments, see #718
-* Parser: supporting TLA+ identifiers in annotations, see #768
-* Parser: better parser for annotations, see #757
-* Parser: fixed two bugs in the declaration sorter, see #645 and #758
-* Printer: fixed the output for EXCEPT, see #746
-* Printer: fixed pretty printing of annotations, see #633
-* Printer: extending the standard modules, see #137
-* The command `config --enable-stats=true` creates `$HOME/.tlaplus` if needed, see #762
-* IO: replaced calls to deprecated JsonReader/JsonWriter. out-parser.json is now compliant with the new format, see #778
-
-### Changes
-
-* Builds: removed scoverage from maven, to improve build times
-* Docs: updated ADR002 and HOWTO on type annotations to explain comments
-* CLI: Users can set JVM args via the JVM_ARGS env var, see #790
diff --git a/mod-distribution/pom.xml b/mod-distribution/pom.xml
index 57a3196737..f3310288a1 100644
--- a/mod-distribution/pom.xml
+++ b/mod-distribution/pom.xml
@@ -8,11 +8,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     </parent>
 
     <artifactId>apalache-pkg</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     <packaging>pom</packaging>
 
     <name>apalache-pkg</name>
diff --git a/mod-infra/pom.xml b/mod-infra/pom.xml
index 23e71e6a6e..3fe0b47534 100644
--- a/mod-infra/pom.xml
+++ b/mod-infra/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     </parent>
 
     <artifactId>infra</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     <packaging>jar</packaging>
 
     <name>infra</name>
diff --git a/mod-tool/pom.xml b/mod-tool/pom.xml
index f36f9c98c2..851ee68da7 100644
--- a/mod-tool/pom.xml
+++ b/mod-tool/pom.xml
@@ -4,14 +4,14 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     </parent>
 
     <!--
         All command line tooling and option parsing goes here... and nothing else!
     -->
     <artifactId>tool</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     <packaging>jar</packaging>
 
     <name>tool</name>
diff --git a/pom.xml b/pom.xml
index d5876cb2ca..449cfc0a85 100644
--- a/pom.xml
+++ b/pom.xml
@@ -4,7 +4,7 @@
     <groupId>at.forsyte.apalache</groupId>
     <artifactId>apalache</artifactId>
     <packaging>pom</packaging>
-    <version>0.15.4-SNAPSHOT</version>
+    <version>0.15.4</version>
 
     <name>APALACHE project</name>
     <url>https://github.com/informalsystems/apalache</url>
diff --git a/tla-assignments/pom.xml b/tla-assignments/pom.xml
index 77710ac80e..0a0af1d310 100644
--- a/tla-assignments/pom.xml
+++ b/tla-assignments/pom.xml
@@ -3,11 +3,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     </parent>
 
     <artifactId>tla-assignments</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     <packaging>jar</packaging>
 
     <name>tla-assignments</name>
diff --git a/tla-bmcmt/pom.xml b/tla-bmcmt/pom.xml
index 7a19cd1f48..a46cbd695e 100644
--- a/tla-bmcmt/pom.xml
+++ b/tla-bmcmt/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     </parent>
 
     <artifactId>tla-bmcmt</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     <packaging>jar</packaging>
 
     <name>tla-bmcmt</name>
diff --git a/tla-import/pom.xml b/tla-import/pom.xml
index 98c63cd58b..921da022be 100644
--- a/tla-import/pom.xml
+++ b/tla-import/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     </parent>
 
     <artifactId>tla-import</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     <packaging>jar</packaging>
 
     <name>tla-import</name>
diff --git a/tla-pp/pom.xml b/tla-pp/pom.xml
index 8e3560ea9a..b585d76565 100644
--- a/tla-pp/pom.xml
+++ b/tla-pp/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     </parent>
 
     <artifactId>tla-pp</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     <packaging>jar</packaging>
 
     <name>tla-pp</name>
diff --git a/tla-types/pom.xml b/tla-types/pom.xml
index c4149a5913..b73cee6909 100644
--- a/tla-types/pom.xml
+++ b/tla-types/pom.xml
@@ -3,11 +3,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     </parent>
 
     <artifactId>tla-types</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     <packaging>jar</packaging>
 
     <name>tla-types</name>
diff --git a/tlair/pom.xml b/tlair/pom.xml
index c3b114bf2f..4a3e8c6ff9 100644
--- a/tlair/pom.xml
+++ b/tlair/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     </parent>
 
     <artifactId>tlair</artifactId>
-        <version>0.15.4-SNAPSHOT</version>
+        <version>0.15.4</version>
     <packaging>jar</packaging>
 
     <name>tlair</name>