diff --git a/doc/spec/news.mdk b/doc/spec/news.mdk
index 852c3a296..b4d90c8ac 100644
--- a/doc/spec/news.mdk
+++ b/doc/spec/news.mdk
@@ -1,7 +1,7 @@
 ~ begin news
 News:
 
-* 2024-01-13: Koka v3.0.0 released with improved VS Code integration and inlay hints. Initial support for
+* 2024-01-13: Koka v3.0.1 released with improved VS Code integration and inlay hints. Initial support for
   locally qualified names and implicit parameters (see the `samples/syntax`). Various small bug fixes.
 
 * 2023-12-30: Koka v2.6.0 released with VS Code language integration with type information, jump to definition,
diff --git a/readme.md b/readme.md
index e61f38289..49d7ce50f 100644
--- a/readme.md
+++ b/readme.md
@@ -10,7 +10,7 @@
 
 _Koka v2 is a research language that currently under heavy development with the new C backend_
 
-_Latest release_: v3.0.0, 2024-01-13 ([Install]).
+_Latest release_: v3.0.1, 2024-01-13 ([Install]).
 
 <a href="https://koka-lang.github.io/koka/doc/book.html#why-handlers"><img align="right" width="300" src="doc/snippet-yield.png" /></a>
 
@@ -83,6 +83,7 @@ and all previous interns working on earlier versions of Koka: Daniel Hillerströ
 
 ## Recent Releases
 
+* `v3.0.1`, 2024-01-13: small bug fixes in expression evaluation, and fixes a locale error on macOS.
 * `v3.0.0`, 2024-01-13: improved vs code language support with inlay-hints. New locally qualified names,
   and initial support for implicit parameters. Samples can be found in `samples/syntax`. Various
   bug fixes.
diff --git a/support/vscode/koka.language-koka/package.json b/support/vscode/koka.language-koka/package.json
index c501c793e..68315773b 100644
--- a/support/vscode/koka.language-koka/package.json
+++ b/support/vscode/koka.language-koka/package.json
@@ -3,7 +3,7 @@
   "displayName": "Koka Language",
   "description": "The official Koka programming language extension.",
   "version": "3.0.1",
-  "compilerVersion": "3.0.0",
+  "compilerVersion": "3.0.1",
   "publisher": "koka",
   "engines": {
     "vscode": ">=1.85.0"
diff --git a/util/install.bat b/util/install.bat
index f6e353de0..7705aec94 100644
--- a/util/install.bat
+++ b/util/install.bat
@@ -4,7 +4,7 @@ rem Installation script for Koka; use -h to see command line options.
 rem ------------------------------------------------------------------
 
 setlocal
-set KOKA_VERSION=v3.0.0
+set KOKA_VERSION=v3.0.1
 set KOKA_PREFIX=%LOCALAPPDATA%\koka
 set KOKA_UNINSTALL=N
 set KOKA_HELP=N
diff --git a/util/install.sh b/util/install.sh
index d8ca99da8..c8b693b94 100755
--- a/util/install.sh
+++ b/util/install.sh
@@ -4,7 +4,7 @@
 # Installation script for Koka; use -h to see command line options.
 #-----------------------------------------------------------------------------
 
-VERSION="v3.0.0"
+VERSION="v3.0.1"
 MODE="install"          # or uninstall
 PREFIX="/usr/local"
 QUIET=""
diff --git a/util/minbuild.sh b/util/minbuild.sh
index b91a33dc4..0ee347d9d 100755
--- a/util/minbuild.sh
+++ b/util/minbuild.sh
@@ -5,7 +5,7 @@
 # For use on platforms where stack is not working and to document
 # the minimal needed commands to build the full compiler.
 
-KOKA_VERSION=3.0.0
+KOKA_VERSION=3.0.1
 KOKA_VARIANT=release
 
 echo ""
diff --git a/whatsnew.md b/whatsnew.md
index 6f6352f0a..3cbc3b5a2 100644
--- a/whatsnew.md
+++ b/whatsnew.md
@@ -11,9 +11,7 @@ generating direct C code without needing a runtime system. To learn more:
   and running the `Koka: Open samples` command.  
   (when you start typing the command will surface to the top).
 
-### v3.0.1, development
-
-### v3.0.0, 2024-01-13:
+### v3.0.1, 2024-01-13:
 
 <img style="float:right; height:18em; border:1px solid gray; margin:1ex" src="images/impliciteq.png">