diff --git a/CHANGES.md b/CHANGES.md
index 2bdfc2ac53..2636ba1878 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -2,6 +2,21 @@
      This file is generated. Do not write release notes here.
      Notes for unreleased changes go in ./UNRELEASED.md -->
 
+## 0.19.0
+
+### Breaking changes
+
+* The global config file is now named `$HOME/.tlaplus/apalache.cfg`, see #1160
+
+### Features
+
+* Support for a local config file (defaulting to `$PWD/.apalache.cfg`) see #1160
+
+### Bug fixes
+
+* Fix the use of set union in the array encoding, see #1162
+* Fix preprocesor's normalization of negated temporal formulas and negated `LET .. IN` expressions, see #1165
+
 ## 0.18.1
 
 ### Bug fixes
diff --git a/UNRELEASED.md b/UNRELEASED.md
index da4bc4dfc7..84488f67af 100644
--- a/UNRELEASED.md
+++ b/UNRELEASED.md
@@ -10,15 +10,3 @@
          * Some bug fix, see #124
 
      DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE -->
-### Breaking changes
-
-* The global config file is now named `$HOME/.tlaplus/apalache.cfg`, see #1160
-
-### Features
-
-* Support for a local config file (defaulting to `$PWD/.apalache.cfg`) see #1160
-
-### Bug fixes
-
-* Fix the use of set union in the array encoding, see #1162
-* Fix preprocesor's normalization of negated temporal formulas and negated `LET .. IN` expressions, see #1165
diff --git a/mod-distribution/pom.xml b/mod-distribution/pom.xml
index 0cf78369f9..25f84f895d 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.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>apalache-pkg</artifactId>
-        <version>0.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     <packaging>pom</packaging>
 
     <name>apalache-pkg</name>
diff --git a/mod-infra/pom.xml b/mod-infra/pom.xml
index 04eb564cc9..10c36a24de 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.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>infra</artifactId>
-        <version>0.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>infra</name>
diff --git a/mod-tool/pom.xml b/mod-tool/pom.xml
index 82579871e3..7607c5bb5d 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.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     </parent>
 
     <!--
         All command line tooling and option parsing goes here... and nothing else!
     -->
     <artifactId>tool</artifactId>
-        <version>0.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tool</name>
diff --git a/pom.xml b/pom.xml
index d596bc549c..572a9356e8 100644
--- a/pom.xml
+++ b/pom.xml
@@ -4,7 +4,7 @@
     <groupId>at.forsyte.apalache</groupId>
     <artifactId>apalache</artifactId>
     <packaging>pom</packaging>
-    <version>0.18.2-SNAPSHOT</version>
+    <version>0.19.1-SNAPSHOT</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 e96939a6cb..324a682531 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.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-assignments</artifactId>
-        <version>0.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-assignments</name>
diff --git a/tla-bmcmt/pom.xml b/tla-bmcmt/pom.xml
index 6bdc16a55d..3b282477f2 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.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-bmcmt</artifactId>
-        <version>0.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-bmcmt</name>
diff --git a/tla-io/pom.xml b/tla-io/pom.xml
index bf92f5b48b..8ff230d46c 100644
--- a/tla-io/pom.xml
+++ b/tla-io/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-io</artifactId>
-        <version>0.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-io</name>
diff --git a/tla-pp/pom.xml b/tla-pp/pom.xml
index 6a789cf1ee..5898a1db15 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.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-pp</artifactId>
-        <version>0.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-pp</name>
diff --git a/tla-types/pom.xml b/tla-types/pom.xml
index 27df735142..e1ace1320e 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.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>tla-types</artifactId>
-        <version>0.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tla-types</name>
diff --git a/tlair/pom.xml b/tlair/pom.xml
index b2b88b4b3c..8b746886d9 100644
--- a/tlair/pom.xml
+++ b/tlair/pom.xml
@@ -4,11 +4,11 @@
     <parent>
         <groupId>at.forsyte.apalache</groupId>
         <artifactId>apalache</artifactId>
-        <version>0.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     </parent>
 
     <artifactId>tlair</artifactId>
-        <version>0.18.2-SNAPSHOT</version>
+        <version>0.19.1-SNAPSHOT</version>
     <packaging>jar</packaging>
 
     <name>tlair</name>