diff --git a/ALL_VERSIONS b/ALL_VERSIONS
index 64a0142c4f5a63aa2842858db8ec8c9b12698818..731e28b1da14b733e369c8601618ff5fd2196e87 100644
--- a/ALL_VERSIONS
+++ b/ALL_VERSIONS
@@ -1,6 +1,7 @@
 Version number			Date of release		Notes
 ==============			===============		=====
-23.0 (Vanadium)                 2021, June 28
+23.1 (Vanadium)                 2021, July 20
+23.0 (Vanadium)                 2021, July 7
 22.0 (Titanium)                 2020, November 17
 21.1 (Scandium)                 2020, June 25           Bugs fixed
 21.0 (Scandium)                 2020, June 11
diff --git a/Changelog b/Changelog
index a173d8fbcd0128aa34a40dd0670640855bc8b018..a5dfb430b580c51145eaceb80eb270c3bd92cceb 100644
--- a/Changelog
+++ b/Changelog
@@ -13,6 +13,10 @@
 # '#?nnn'  : OLD-BTS entry #nnn                                               #
 ###############################################################################
 
+###################################
+Open Source Release 23.1 (Vanadium)
+###################################
+
 ###################################
 Open Source Release 23.0 (Vanadium)
 ###################################
diff --git a/VERSION b/VERSION
index 4266d86348085ad853a3a22364dda9cb9c2c760d..eaccea244b1fd9a1e2c4f7ac9fa06c2edde930a4 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-23.0
\ No newline at end of file
+23.1
\ No newline at end of file
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index bcf9aa4977187cd281f3b4eda6b85d33c6417097..0dbfa76b09f73364af6c65b562308374dabbb9b9 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -21,9 +21,9 @@
 #   configure   configure
 ###############################################################################
 
-############################
-Plugin E-ACSL <next-release>
-############################
+#############################
+Plugin E-ACSL 23.1 (Vanadium)
+#############################
 
 -* E-ACSL       [2021-07-19] Fix crash occurring when two or more successive
                 logic coercions were done in a term (frama-c/e-acsl#172).
diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index ebc5e2fecdea5922b7760c392dee6a2d6386d727..b672590d22a94c7cb0b55a72dadd6fcc426adef8 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -21,7 +21,7 @@
 ###############################################################################
 
 #########################
-Plugin WP <next-release>
+Plugin WP 23.1 (Vanadium)
 #########################
 
 - WP          [2021-07-15] Fix a crash related to opaque structures memory typing