diff --git a/org.rodinp.handbook.feature/feature.xml b/org.rodinp.handbook.feature/feature.xml
index f9e432c0839eed87528c57bb49d2b92551d62346..c3a01140b637959a4b61decc2659888d0c049cf2 100644
--- a/org.rodinp.handbook.feature/feature.xml
+++ b/org.rodinp.handbook.feature/feature.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <feature
       id="org.rodinp.handbook.feature"
-      label="Rodin Handbook v.2.4"
+      label="Rodin Handbook v.2.5"
       version="1.0.0.qualifier"
       provider-name="Formal Mind GmbH">
 
diff --git a/org.rodinp.handbook.feature/latex/config.tex b/org.rodinp.handbook.feature/latex/config.tex
index b3d0a9ba26b7d3df370063aacf9d2f386ba58b1c..b719fb7397e42f9f542a7153c96c8d262ad6a031 100644
--- a/org.rodinp.handbook.feature/latex/config.tex
+++ b/org.rodinp.handbook.feature/latex/config.tex
@@ -1,5 +1,5 @@
 % Rodin Handbook Version
-\newcommand{\versionnr}{2.4}
+\newcommand{\versionnr}{2.5}
 
 % Rodin Handbook Version Path. "current" is the newest version of the handbook. This should be changed if we want to build a handbook for another (i.e. older version)
 \newcommand{\versionpath}{current}
diff --git a/org.rodinp.handbook.feature/skeleton/META-INF/MANIFEST.MF b/org.rodinp.handbook.feature/skeleton/META-INF/MANIFEST.MF
index 6fd5c490f18d51216cc24d891fb293cf827b8162..07422662fe0b237aac6bf274114a18fc8c8f4cce 100644
--- a/org.rodinp.handbook.feature/skeleton/META-INF/MANIFEST.MF
+++ b/org.rodinp.handbook.feature/skeleton/META-INF/MANIFEST.MF
@@ -1,6 +1,6 @@
 Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
-Bundle-Name: Rodin Handbook v.2.4
+Bundle-Name: Rodin Handbook v.2.5
 Bundle-SymbolicName: org.rodinp.handbook;singleton:=true
 Bundle-Version: 1.0.0.qualifier
 Bundle-Vendor: Formal Mind GmbH (formalmind.com)