Update changelog

apalache-mc · Mar 7, 2024 · efffa24 · efffa24
1 parent cfcae70
commit efffa24
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.unreleased/features/shai-tla-reply.md b/.unreleased/features/shai-tla-reply.md
@@ -0,0 +1,2 @@
+Add command to the server's `CmdExecutor` that will reply with formatted TLA+
+derived from parsing the provide input. (#2852)