Update the changelog

informalsystems · Aug 25, 2023 · e34c2de · e34c2de
1 parent 503c589
commit e34c2de
Showing 1 changed file with 6 additions and 2 deletions.
diff --git 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