diff --git a/CHANGELOG.md b/CHANGELOG.md
index e6df913be88a5845fa81b3fe1639ee465d5678a8..d175c581d8ccf90450fe24edc666596b32af0670 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -11,7 +11,7 @@
 * Allowed loading B machines by entering their code directly, without an explicit `::load` command, similar to how this is already allowed with expressions.
 * Added a `:bsymb` command to load ProB's custom bsymb.sty LaTeX definitions on demand. After this command is executed, bsymb commands can be used in LaTeX formulas in Markdown cells.
 * Added support for Java 11.
-* Updated ProB 2 to version 3.2.12.
+* Updated ProB 2 to version 3.10.0.
 * Fixed installation problems under Windows (paths in the kernel metadata are now escaped correctly).
 * Fixed confusing handling of trailing spaces in commands.
 * Fixed `:show` not displaying animation images correctly for machines outside of the kernel's working directory.