From 60df754e3cd365ab4cc8365745d9d5c82251745c Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 27 Feb 2020 15:06:30 +0100
Subject: [PATCH] Fix ProB 2 version number in CHANGELOG.md

---
 CHANGELOG.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index e6df913..d175c58 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.
-- 
GitLab