From 9fed23de2a795b1b1fb14ab16981cd5359b5d3cf Mon Sep 17 00:00:00 2001
From: Lukas Ladenberger <lukas.ladenberger@googlemail.com>
Date: Wed, 25 Apr 2012 18:49:11 +0000
Subject: [PATCH] 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 | 2 +-
org.rodinp.handbook.feature/latex/config.tex | 2 +-
org.rodinp.handbook.feature/skeleton/META-INF/MANIFEST.MF | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/org.rodinp.handbook.feature/feature.xml b/org.rodinp.handbook.feature/feature.xml
index f9e432c..c3a0114 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 b3d0a9b..b719fb7 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 6fd5c49..0742266 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)
--
GitLab