From e34c2dee3b9c742a3234c2e5a2f6d3af14f91fd9 Mon Sep 17 00:00:00 2001
From: Shon Feder <shon@informal.systems>
Date: Fri, 25 Aug 2023 18:25:15 -0400
Subject: [PATCH] Update the changelog

---
 CHANGELOG.md | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b101359f0..b9ff8eae8 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -8,10 +8,14 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ## UNRELEASED
 
 ### Added
+
+- The `verify` command now automatically acquires the Apalache distribution and
+  starts the server, if the server is not already running (#1115)
+
 ### Changed
 
-- The `verify` command now manages Apalache server, if no already running
-  instance is detected (#1115)
+- Module management was rewritten, and instances should behave much better in
+  the simulator, REPL, and in integration with Apalache (#1119)
 
 ### Deprecated
 ### Removed