Skip to content

Commit 7626c68

Browse files
cfsnookcfsnook
authored
Merge pull request #2 from tshoang/master
New Builds December 2020
2 parents b9ed59f + fbf826a commit 7626c68

File tree

538 files changed

+12
-15
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

538 files changed

+12
-15
lines changed

‎ac.soton.rodinp.baseline/Rodin.product‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<?xml version="1.0" encoding="UTF-8"?>
22
<?pde version="3.5"?>
33

4-
<product name="Rodin Platform" uid="org.rodinp.platform.product" id="org.rodinp.platform.product" application="org.eclipse.ui.ide.workbench" version="3.5.0.202009111309-74e0e4188-BL2008" useFeatures="true" includeLaunchers="true">
4+
<product name="Rodin Platform" uid="org.rodinp.platform.product" id="org.rodinp.platform.product" application="org.eclipse.ui.ide.workbench" version="3.5.0.202009111309-9f39f1653-BL2008" useFeatures="true" includeLaunchers="true">
55

66
<aboutInfo>
77
<image path="icons/about.gif"/>

‎ac.soton.rodinp.baseline/pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@
3939
</repositories>
4040

4141
<properties>
42-
<bundle-suffix>BL2008</bundle-suffix>
42+
<bundle-suffix>BL2012</bundle-suffix>
4343
</properties>
4444

4545
<packaging>eclipse-repository</packaging>

‎ac.soton.rodinp.releases/Rodin.product‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<?xml version="1.0" encoding="UTF-8"?>
22
<?pde version="3.5"?>
33

4-
<product name="Rodin Platform" uid="org.rodinp.platform.product" id="org.rodinp.platform.product" application="org.eclipse.ui.ide.workbench" version="3.5.0.202009111309-74e0e4188-RL2008" useFeatures="true" includeLaunchers="true">
4+
<product name="Rodin Platform" uid="org.rodinp.platform.product" id="org.rodinp.platform.product" application="org.eclipse.ui.ide.workbench" version="3.5.0.202009111309-9f39f1653-RL2008" useFeatures="true" includeLaunchers="true">
55

66
<aboutInfo>
77
<image path="icons/about.gif"/>

‎ac.soton.rodinp.releases/pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@
3030
<version>3.5.0-SNAPSHOT</version>
3131

3232
<properties>
33-
<bundle-suffix>RL2008</bundle-suffix>
33+
<bundle-suffix>RL2012</bundle-suffix>
3434
</properties>
3535

3636
<repositories>

‎ac.soton.rodinp.releng/pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
<www-basedir>/tmp/rodin-build/</www-basedir>
2727

2828
<!-- This should match the based Rodin platform in Rodin.product -->
29-
<rodin-version>3.5.0.202009111309-74e0e4188</rodin-version>
29+
<rodin-version>3.5.0.202009111309-9f39f1653</rodin-version>
3030

3131
<!-- Plug-in versions -->
3232
<tycho-version>2.0.0</tycho-version>

‎ac.soton.rodinp.target/Rodin.product‎

Lines changed: 4 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<?xml version="1.0" encoding="UTF-8"?>
22
<?pde version="3.5"?>
33

4-
<product name="Rodin Platform" uid="org.rodinp.platform.product" id="org.rodinp.platform.product" application="org.eclipse.ui.ide.workbench" version="3.5.0.202009111309-74e0e4188-TG2008" useFeatures="true" includeLaunchers="true">
4+
<product name="Rodin Platform" uid="org.rodinp.platform.product" id="org.rodinp.platform.product" application="org.eclipse.ui.ide.workbench" version="3.5.0.202009111309-9f39f1653-TG2012" useFeatures="true" includeLaunchers="true">
55

66
<aboutInfo>
77
<image path="icons/about.gif"/>
@@ -48,9 +48,9 @@
4848
</plugins>
4949

5050
<features>
51-
<feature id="org.eventb.ide" version="3.5.0.qualifier"/>
52-
<feature id="org.rodinp.platform" version="3.5.0.qualifier"/>
53-
<feature id="org.rodinp.platform.tests" version="3.5.0.qualifier"/>
51+
<feature id="org.eventb.ide.source" version="3.5.0.qualifier"/>
52+
<feature id="org.rodinp.platform.source" version="3.5.0.qualifier"/>
53+
<feature id="org.rodinp.platform.tests.source" version="3.5.0.qualifier"/>
5454
<feature id="org.rodinp.handbook.feature" installMode="root"/>
5555
<feature id="ac.soton.xeventb.sdk" version="2.0.0.qualifier" installMode="root"/>
5656
<feature id="ac.soton.eventb.statemachines.sdk" version="4.0.1.qualifier" installMode="root"/>
@@ -71,9 +71,6 @@
7171
<feature id="ac.soton.eventb.emf.record.sdk" version="0.1.0.qualifier" installMode="root"/>
7272
<feature id="org.eclipse.xtext.sdk" version="2.22.0.qualifier" installMode="root"/>
7373
<feature id="org.eclipse.sdk" version="4.16.0.qualifier" installMode="root"/>
74-
<!-- Disabled since it is included in GMF SDK -->
75-
<!-- <feature id="org.eclipse.emf.sdk"
76-
version="2.22.0.qualifier" installMode="root"/> -->
7774
<feature id="org.eclipse.gmf.sdk" version="3.2.1.qualifier" installMode="root"/>
7875
</features>
7976

‎ac.soton.rodinp.target/pom.xml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,8 +30,8 @@
3030
<version>3.5.0-SNAPSHOT</version>
3131

3232
<properties>
33-
<bundle-suffix>TG2008</bundle-suffix>
34-
<rodinp-dev>org.rodinp.dev-3.5.0-74e0e4188</rodinp-dev>
33+
<bundle-suffix>TG2012</bundle-suffix>
34+
<rodinp-dev>org.rodinp.dev-3.5.0-9f39f1653</rodinp-dev>
3535
</properties>
3636

3737
<repositories>

‎org.rodinp.dev-3.5.0-74e0e4188/artifacts.jar‎

-28.2 KB
Binary file not shown.

‎org.rodinp.dev-3.5.0-74e0e4188/artifacts.xml.xz‎

-22.1 KB
Binary file not shown.

‎org.rodinp.dev-3.5.0-74e0e4188/content.jar‎

-145 KB
Binary file not shown.

0 commit comments

Comments
 (0)