Skip to content
Snippets Groups Projects
Commit fc911c6d authored by dgelessus's avatar dgelessus
Browse files

Fix feature branding not showing in about window and update old info

parent e87203b8
Branches
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 22 additions and 37 deletions
de.prob.core.tests/META-INF/MANIFEST.MF
+ 1
− 1
View file @ fc911c6d
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
......
de.prob.core/META-INF/MANIFEST.MF
+ 1
− 1
View file @ fc911c6d
......@@ -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,
......
de.prob.eventb.disprover.core/META-INF/MANIFEST.MF
+ 2
− 2
View file @ fc911c6d
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)",
......
de.prob.eventb.disprover.ui/META-INF/MANIFEST.MF
+ 2
− 2
View file @ fc911c6d
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)",
......
de.prob.eventb.disprover.ui/about.ini
+ 1
− 2
View file @ fc911c6d
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
de.prob.symbolic/about.ini 0 → 100644
+ 1
− 0
View file @ fc911c6d
aboutText=ProB Symbolic Evaluation Support (c) 2013-2024 https://prob.hhu.de/w/
de.prob.symbolic/build.properties
+ 1
− 0
View file @ fc911c6d
......@@ -2,4 +2,5 @@ source.. = src/
output.. = bin/
bin.includes = META-INF/,\
.,\
about.ini,\
plugin.xml
de.prob.ui/META-INF/MANIFEST.MF
+ 1
− 1
View file @ fc911c6d
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)",
......
de.prob.ui/about.ini
+ 1
− 2
View file @ fc911c6d
# 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
de.prob.ui/about.properties deleted 100644 → 0
+ 0
− 18
View file @ e87203b8
###############################################################################
# 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.
de.prob.ui/build.properties
+ 1
− 0
View file @ fc911c6d
......@@ -2,5 +2,6 @@ source.. = src/
output.. = bin/
bin.includes = META-INF/,\
.,\
about.ini,\
plugin.xml,\
icons/
de.prob.ui/src/de/prob/ui/eventb/ClassicPreferences.java
+ 1
− 2
View file @ fc911c6d
......@@ -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;
......
de.prob2.disprover.feature/feature.xml
+ 3
− 2
View file @ fc911c6d
......@@ -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.
......
de.prob2.feature/feature.xml
+ 3
− 2
View file @ fc911c6d
......@@ -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.
......
de.prob2.symbolic.feature/feature.xml
+ 3
− 2
View file @ fc911c6d
......@@ -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.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment