diff --git a/.unreleased/features/bat-file.md b/.unreleased/features/bat-file.md
new file mode 100644
index 0000000000..2ea740f941
--- /dev/null
+++ b/.unreleased/features/bat-file.md
@@ -0,0 +1 @@
+Added an `apalache-mc.bat` file to easily start Apalache on Windows, see #2980