diff --git a/de.prob.core.tests/META-INF/MANIFEST.MF b/de.prob.core.tests/META-INF/MANIFEST.MF
index 920b4abebdf89a287d5559b8a522e837bf829592..f8575d60e38af995b4b01d66527b02e9f20303f2 100644
--- a/de.prob.core.tests/META-INF/MANIFEST.MF
+++ b/de.prob.core.tests/META-INF/MANIFEST.MF
@@ -1,6 +1,6 @@
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
-Bundle-Name: Tests
+Bundle-Name: ProB Animator Tests
Bundle-SymbolicName: de.prob.core.tests
Bundle-Version: 1.0.0.qualifier
Bundle-Activator: de.prob.core.tests.Activator
diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF
index 5871ea0fafcd28b3746215aff059db8672ee9ece..3286e08610ceec919209f5b52119dd1ce067e9f9 100644
--- a/de.prob.core/META-INF/MANIFEST.MF
+++ b/de.prob.core/META-INF/MANIFEST.MF
@@ -13,7 +13,7 @@ Require-Bundle: org.eclipse.core.filesystem;bundle-version="[1.7.0,2.0.0)",
org.rodinp.core;bundle-version="[1.9.0,2.0.0)"
Bundle-ActivationPolicy: lazy
Eclipse-BundleShape: dir
-Bundle-Vendor: HHU Dusseldorf STUPS Group
+Bundle-Vendor: HHU Düsseldorf STUPS Group
Export-Package: de.be4.classicalb.core.parser,
de.be4.classicalb.core.parser.analysis,
de.be4.classicalb.core.parser.analysis.checking,
diff --git a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
index 7ef9f77c683fd339bf9f8aa59430bea947437e05..2d085bcade7358d12ea56e00cc6e5871336d0235 100644
--- a/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
+++ b/de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
@@ -1,9 +1,9 @@
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
-Bundle-Name: ProB Disprover Core for EventB
+Bundle-Name: ProB Disprover Core for Event-B
Bundle-SymbolicName: de.prob.eventb.disprover.core;singleton:=true
Bundle-Version: 2.1.2.qualifier
-Bundle-Vendor: Heinrich-Heine University Dusseldorf
+Bundle-Vendor: HHU Düsseldorf STUPS Group
Require-Bundle: de.prob.core;bundle-version="[9.5.2,9.6.0)",
org.eclipse.core.runtime;bundle-version="[3.20.0,4.0.0)",
org.eventb.core;bundle-version="[3.5.0,4.0.0)",
diff --git a/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF b/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
index 4dd4b418de0e5fbc0f9c28dc89b8a0106cb2cb28..89c42d19456c3fd43cbcbdd09848f9ac33457072 100644
--- a/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
+++ b/de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
@@ -1,9 +1,9 @@
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
-Bundle-Name: ProB Disprover UI for EventB
+Bundle-Name: ProB Disprover UI for Event-B
Bundle-SymbolicName: de.prob.eventb.disprover.ui;singleton:=true
Bundle-Version: 2.1.2.qualifier
-Bundle-Vendor: Heinrich-Heine University Dusseldorf
+Bundle-Vendor: HHU Düsseldorf STUPS Group
Require-Bundle: de.prob.core;bundle-version="[9.5.2,9.6.0)",
de.prob.eventb.disprover.core;bundle-version="[2.1.2,2.2.0)",
de.prob.ui;bundle-version="[7.5.2,7.6.0)",
diff --git a/de.prob.eventb.disprover.ui/about.ini b/de.prob.eventb.disprover.ui/about.ini
index f04f5e337154c697cc2c45fb586dd1d42d1887ff..80573c6a00ea85cf65087c472ff8947b74f22194 100644
--- a/de.prob.eventb.disprover.ui/about.ini
+++ b/de.prob.eventb.disprover.ui/about.ini
@@ -1,3 +1,2 @@
-aboutText=ProB Disprover (c) 2009 http://www.stups.uni-duesseldorf.de/ProB
+aboutText=ProB Disprover (c) 2009-2024 https://prob.hhu.de/w/
featureImage=icons/feature.png
-
diff --git a/de.prob.symbolic/about.ini b/de.prob.symbolic/about.ini
new file mode 100644
index 0000000000000000000000000000000000000000..035e39a5c6e1d13ba4003262ca17024c15f90c4f
--- /dev/null
+++ b/de.prob.symbolic/about.ini
@@ -0,0 +1 @@
+aboutText=ProB Symbolic Evaluation Support (c) 2013-2024 https://prob.hhu.de/w/
diff --git a/de.prob.symbolic/build.properties b/de.prob.symbolic/build.properties
index e9863e281eaccc5123e82ed75713bab3e8b87bbe..87749ea86094ca59c5c992d39720920dc3626873 100644
--- a/de.prob.symbolic/build.properties
+++ b/de.prob.symbolic/build.properties
@@ -2,4 +2,5 @@ source.. = src/
output.. = bin/
bin.includes = META-INF/,\
.,\
+ about.ini,\
plugin.xml
diff --git a/de.prob.ui/META-INF/MANIFEST.MF b/de.prob.ui/META-INF/MANIFEST.MF
index cf302f29181b49b2a401d368aa570003897f5351..eecdef386e62744b5bfa1b3eee1a544f1a21639b 100644
--- a/de.prob.ui/META-INF/MANIFEST.MF
+++ b/de.prob.ui/META-INF/MANIFEST.MF
@@ -1,6 +1,6 @@
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
-Bundle-Name: ProB Ui Plug-in
+Bundle-Name: ProB Animator UI
Bundle-SymbolicName: de.prob.ui;singleton:=true
Bundle-Version: 7.5.2.qualifier
Require-Bundle: de.prob.core;bundle-version="[9.5.2,9.6.0)",
diff --git a/de.prob.ui/about.ini b/de.prob.ui/about.ini
index 2bd589b72ecab060e4fa1924080ba910f58a0014..a2883d793cf53ae33347f9ee05a69964a5453173 100644
--- a/de.prob.ui/about.ini
+++ b/de.prob.ui/about.ini
@@ -1,3 +1,2 @@
-# Feature Branding for ProB
-aboutText=ProB Model Checker (c) 2009 http://www.stups.uni-duesseldorf.de/ProB
+aboutText=ProB Animator (c) 2005-2024 https://prob.hhu.de/w/
featureImage=icons/prob.png
diff --git a/de.prob.ui/about.properties b/de.prob.ui/about.properties
deleted file mode 100644
index 632c9e487fe97a77ae273a5b8d7917c4583722d3..0000000000000000000000000000000000000000
--- a/de.prob.ui/about.properties
+++ /dev/null
@@ -1,18 +0,0 @@
-###############################################################################
-# Copyright (c) 2006-2008 Heinrich-Heine University Dusseldorf.
-# All rights reserved. This program and the accompanying materials
-# are made available under the terms of the Eclipse Public License v1.0
-# which accompanies this distribution, and is available at
-# http://www.eclipse.org/legal/epl-v10.html
-###############################################################################
-
-aboutText=ProB Plug-In for Rodin\n\
-\n\
-Version: {featureVersion}\n\
-\n\
-Copyright (c) 2005-2008 Heinrich-Heine University Dusseldorf. All rights reserved.\n\
-Visit http://www.stups.uni-duesseldorf.de\n\
-\n\
-This offering is powered by Eclipse technology and includes\n\
-Eclipse plug-ins that can be installed and used with other\n\
-Eclipse (3.3)-based offerings.
diff --git a/de.prob.ui/build.properties b/de.prob.ui/build.properties
index 6c480f39f1bf02b9d3cd69ecf5d747da230d11bf..b357e324bc2aa429e6aa3e75033f63177ecd10ea 100644
--- a/de.prob.ui/build.properties
+++ b/de.prob.ui/build.properties
@@ -2,5 +2,6 @@ source.. = src/
output.. = bin/
bin.includes = META-INF/,\
.,\
+ about.ini,\
plugin.xml,\
icons/
diff --git a/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java b/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
index 1b3d65db9e473cbdac6b92baee99dd770046bb3b..f7166b138e8eb16e95a984ad0889aff23f08ea31 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
@@ -89,8 +89,7 @@ public class ClassicPreferences extends PreferencePage implements
browseButton.addSelectionListener(new PushButton(pageComponent.getShell(), text));
Label versionRemark = new Label(pageComponent, SWT.WRAP);
versionRemark.setText(
- "Note: This needs a version of ProB2-UI (jar file) that is at least 1.0.1 or a version of ProB Tcl/Tk that is at least 1.3.1.\nYou can obtain both from http://www.stups.uni-duesseldorf.de/ProB\n"); // precisely
- // 1.3.0-beta6
+ "Note: This needs a version of ProB2-UI (jar file) that is at least 1.0.1 or a version of ProB Tcl/Tk that is at least 1.3.1.\nYou can obtain both from https://prob.hhu.de/w/index.php/Download\n"); // precisely 1.3.0-beta6
GridData gridData2 = new GridData();
gridData2.horizontalSpan = 3;
diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index b30b823100c1ee9bee3bbb1b79f3f7b9fcd7ac2a..0f68dfa27b6ca543808573b901f928b00c5e53f6 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -3,9 +3,10 @@
id="de.prob2.disprover.feature"
label="ProB for Rodin - (Dis)Prover"
version="3.1.2.qualifier"
- provider-name="HHU Düsseldorf STUPS Group">
+ provider-name="HHU Düsseldorf STUPS Group"
+ plugin="de.prob.eventb.disprover.ui">
- <description url="http://www.stups.uni-duesseldorf.de/ProB">
+ <description url="https://prob.hhu.de/w/">
ProB is an animator and model checker for the B-Method. It allows
fully automatic animation of many B specifications, and can be
used to systematically check a specification for errors.
diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml
index 14b88c237eb6a8062cd27dd0d31ac645a0fac3f4..be05f985d584f8965731f7abf3e33d9771dd242d 100644
--- a/de.prob2.feature/feature.xml
+++ b/de.prob2.feature/feature.xml
@@ -3,9 +3,10 @@
id="de.prob2.feature"
label="ProB for Rodin"
version="3.1.2.qualifier"
- provider-name="HHU Düsseldorf STUPS Group">
+ provider-name="HHU Düsseldorf STUPS Group"
+ plugin="de.prob.ui">
- <description url="http://www.stups.uni-duesseldorf.de/ProB">
+ <description url="https://prob.hhu.de/w/">
ProB is an animator and model checker for the B-Method. It allows
fully automatic animation of many B specifications, and can be
used to systematically check a specification for errors.
diff --git a/de.prob2.symbolic.feature/feature.xml b/de.prob2.symbolic.feature/feature.xml
index f1dce4936e3af11c6830193f684b4027748f31f2..b4894c5b6639a398a102a1fa879043f4aeea4f5f 100644
--- a/de.prob2.symbolic.feature/feature.xml
+++ b/de.prob2.symbolic.feature/feature.xml
@@ -3,9 +3,10 @@
id="de.prob2.symbolic.feature"
label="ProB for Rodin - Symbolic Constants Support"
version="3.1.2.qualifier"
- provider-name="HHU Düsseldorf STUPS Group">
+ provider-name="HHU Düsseldorf STUPS Group"
+ plugin="de.prob.symbolic">
- <description url="http://www.stups.uni-duesseldorf.de/ProB">
+ <description url="https://prob.hhu.de/w/">
ProB is an animator and model checker for the B-Method. It allows
fully automatic animation of many B specifications, and can be
used to systematically check a specification for errors.