adapted version number to rodin 2.5

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@14614 1434b563-b632-4741-aa49-43a3a8374d2e

org.rodinp.handbook.feature/feature.xml

 <?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">
 

org.rodinp.handbook.feature/latex/config.tex

 % 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}

org.rodinp.handbook.feature/skeleton/META-INF/MANIFEST.MF

 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)