[release] 0.25.10

apalache-mc · Jul 18, 2022 · 202d216 · 202d216
1 parent 96a3c24
commit 202d216
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/RELEASE.md b/RELEASE.md
@@ -0,0 +1,13 @@
+## 0.25.10 - 2022-07-18
+
+### Features
+
+- Add RPC to load spec to the experimental Shai server (see #1114)
+
+### Bug fixes
+
+- Add workaround for Sany parsing failures when running parallel instances of Apalache (see #1959)
+
+### Documentation
+
+- Added TLA+ syntax highlighting to the manual, see #1972
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.25.10-SNAPSHOT
+0.25.10