diff --git a/CHANGES.md b/CHANGES.md
index 3b11e13bbd..c86a998573 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -2,6 +2,24 @@
This file is generated. Do not write release notes here.
Notes for unreleased changes go in ./UNRELEASED.md -->
+## 0.10.1
+
+### Features
+
+* Support for `FunAsSeq` conversion in the type checker, see #223
+* The parser outputs annotations, see #502
+
+### Documentation
+
+* HOWTO on writing type annotations, see #571
+
+### Bug fixes
+
+* Fixed name collisions on LOCAL operators and LOCAL INSTANCE, see #576
+* Parser: a higher-order operator calling a higher-order operator, see #575
+* Type checker: support for recursive functions of multiple arguments, see #582
+* Type checker: support for tuple unpacking in recursive functions, see #583
+
## 0.10.0
### Features
diff --git a/UNRELEASED.md b/UNRELEASED.md
index 78d14eb559..84488f67af 100644
--- a/UNRELEASED.md
+++ b/UNRELEASED.md
@@ -10,18 +10,3 @@
* Some bug fix, see #124
DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE -->
-### Features
-
-* Support for `FunAsSeq` conversion in the type checker, see #223
-* The parser outputs annotations, see #502
-
-### Documentation
-
-* HOWTO on writing type annotations, see #571
-
-### Bug fixes
-
-* Fixed name collisions on LOCAL operators and LOCAL INSTANCE, see #576
-* Parser: a higher-order operator calling a higher-order operator, see #575
-* Type checker: support for recursive functions of multiple arguments, see #582
-* Type checker: support for tuple unpacking in recursive functions, see #583
diff --git a/mod-distribution/pom.xml b/mod-distribution/pom.xml
index 33ca1e88da..9f747afa7a 100644
--- a/mod-distribution/pom.xml
+++ b/mod-distribution/pom.xml
@@ -8,11 +8,11 @@
at.forsyte.apalache
apalache
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
apalache-pkg
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
pom
apalache-pkg
diff --git a/mod-infra/pom.xml b/mod-infra/pom.xml
index 7f7a5e5b03..52323d3181 100644
--- a/mod-infra/pom.xml
+++ b/mod-infra/pom.xml
@@ -4,11 +4,11 @@
at.forsyte.apalache
apalache
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
infra
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
jar
infra
diff --git a/mod-tool/pom.xml b/mod-tool/pom.xml
index 10e664a215..d799cc2c05 100644
--- a/mod-tool/pom.xml
+++ b/mod-tool/pom.xml
@@ -4,14 +4,14 @@
at.forsyte.apalache
apalache
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
tool
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
jar
tool
diff --git a/pom.xml b/pom.xml
index f8273ac7de..1c70611016 100644
--- a/pom.xml
+++ b/pom.xml
@@ -4,7 +4,7 @@
at.forsyte.apalache
apalache
pom
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
APALACHE project
https://github.com/informalsystems/apalache
diff --git a/tla-assignments/pom.xml b/tla-assignments/pom.xml
index 578b9252ca..ca129e10b4 100644
--- a/tla-assignments/pom.xml
+++ b/tla-assignments/pom.xml
@@ -3,11 +3,11 @@
at.forsyte.apalache
apalache
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
tla-assignments
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
jar
tla-assignments
diff --git a/tla-bmcmt/pom.xml b/tla-bmcmt/pom.xml
index 36fb443a03..8a99cb87af 100644
--- a/tla-bmcmt/pom.xml
+++ b/tla-bmcmt/pom.xml
@@ -4,11 +4,11 @@
at.forsyte.apalache
apalache
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
tla-bmcmt
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
jar
tla-bmcmt
diff --git a/tla-import/pom.xml b/tla-import/pom.xml
index 71adc9680a..293be092db 100644
--- a/tla-import/pom.xml
+++ b/tla-import/pom.xml
@@ -4,11 +4,11 @@
at.forsyte.apalache
apalache
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
tla-import
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
jar
tla-import
diff --git a/tla-pp/pom.xml b/tla-pp/pom.xml
index 19fdb6cfb0..4595ca680c 100644
--- a/tla-pp/pom.xml
+++ b/tla-pp/pom.xml
@@ -4,11 +4,11 @@
at.forsyte.apalache
apalache
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
tla-pp
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
jar
tla-pp
diff --git a/tla-types/pom.xml b/tla-types/pom.xml
index 6d9b2f273b..cb95bdc5a9 100644
--- a/tla-types/pom.xml
+++ b/tla-types/pom.xml
@@ -3,11 +3,11 @@
at.forsyte.apalache
apalache
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
tla-types
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
jar
tla-types
diff --git a/tlair/pom.xml b/tlair/pom.xml
index bf7d6fb6c0..d6f1a6beb2 100644
--- a/tlair/pom.xml
+++ b/tlair/pom.xml
@@ -4,11 +4,11 @@
at.forsyte.apalache
apalache
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
tlair
- 0.10.1-SNAPSHOT
+ 0.10.2-SNAPSHOT
jar
tlair