Skip to content

Rodin 3.8.0 2306 #12

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 6 commits into
base: latest
Choose a base branch
from
Open

Rodin 3.8.0 2306 #12

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
9859e82
Rodin 3.8.0 Developers
tshoang Apr 16, 2023
2a1d528
Update Rodin version number to 3.8.0
tshoang Apr 16, 2023
00adf07
Update POM
tshoang Apr 16, 2023
6597888
Update Preset Update Sites
tshoang Apr 16, 2023
f3e2ebd
Update features:
tshoang Apr 16, 2023
3e82bc0
Update the list of Update Sites for Rodin 3.8.0 bundles
tshoang Jun 25, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 11 additions & 9 deletions ac.soton.rodinp.baseline/Rodin.p2.inf
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
instructions.configure=\
mkdir(path:${installFolder}/dropins);\
addRepository(type:0,location:https${#58}//download.eclipse.org/eclipse/updates/4.22,name:Eclipse 2021-06);\
addRepository(type:1,location:https${#58}//download.eclipse.org/eclipse/updates/4.22,name:Eclipse 2022-06);\
addRepository(type:0,location:http${#58}//methode-b.com/update_site/atelierb_provers,name:Atelier B Provers);\
addRepository(type:1,location:http${#58}//methode-b.com/update_site/atelierb_provers,name:Atelier B Provers);\
addRepository(type:0,location:http${#58}//download.eclipse.org/releases/2022-03,name:Eclipse 2022-03);\
addRepository(type:1,location:http${#58}//download.eclipse.org/releases/2022-03,name:Eclipse 2022-03);\
addRepository(type:0,location:http${#58}//www.atelierb.eu/update_site/atelierb_provers,name:Atelier B Provers);\
addRepository(type:1,location:http${#58}//www.atelierb.eu/update_site/atelierb_provers,name:Atelier B Provers);\
addRepository(type:0,location:http${#58}//rodin-b-sharp.sourceforge.net/updates,name:Rodin Plug-ins);\
addRepository(type:1,location:http${#58}//rodin-b-sharp.sourceforge.net/updates,name:Rodin Plug-ins);\
addRepository(type:0,location:http${#58}//rodin-b-sharp.sourceforge.net/core-updates,name:Core Rodin Updates);\
Expand All @@ -14,8 +14,10 @@ instructions.configure=\
addRepository(type:1,location:http${#58}//www.stups.hhu.de/camille_updates,name:Camille);\
addRepository(type:0,location:http${#58}//www.animb.org/updatesite,name:AnimB);\
addRepository(type:1,location:http${#58}//www.animb.org/updatesite,name:AnimB);\
addRepository(type:0,location:http${#58}//handbook.event-b.org/updatesite,name:Rodin Handbook);\
addRepository(type:1,location:http${#58}//handbook.event-b.org/updatesite,name:Rodin Handbook);\
addRepository(type:0,location:https${#58}//eventb-soton.github.io/updateSite/releases,name:Soton Plug-ins);\
addRepository(type:1,location:https${#58}//eventb-soton.github.io/updateSite/releases,name:Soton Plug-ins);
# BEWARE ! THE PREVIOUS LINE MUST NOT END WITH A BACKSLASH
addRepository(type:0,location:http${#58}//download.scala-ide.org/sdk/lithium/e44/scala211/stable/site,name:Scala);\
addRepository(type:1,location:http${#58}//download.scala-ide.org/sdk/lithium/e44/scala211/stable/site,name:Scala);\
addRepository(type:0,location:https${#58}//download.eclipse.org/rmf/updates/releases,name:RMF Update Site);\
addRepository(type:1,location:https${#58}//download.eclipse.org/rmf/updates/releases,name:RMF Update Site);\
addRepository(type:0,location:https${#58}//download.eclipse.org/sphinx/releases/0.11.x,name:Sphinx 0.11 Update Site);\
addRepository(type:1,location:https${#58}//download.eclipse.org/sphinx/releases/0.11.x,name:Sphinx 0.11 Update Site);
# BEWARE ! THE PREVIOUS LINE MUST NOT END WITH A BACKSLASH
4 changes: 2 additions & 2 deletions ac.soton.rodinp.baseline/Rodin.product
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<?pde version="3.5"?>

<product name="Rodin Platform" uid="org.rodinp.platform.product" id="org.rodinp.platform.product" application="org.eclipse.ui.ide.workbench" version="3.7.0.202204290954-46a4e4e99-BL2212" useFeatures="true" includeLaunchers="true" autoIncludeRequirements="true">
<product name="Rodin Platform" uid="org.rodinp.platform.product" id="org.rodinp.platform.product" application="org.eclipse.ui.ide.workbench" version="3.8.0.af2f57e1e-BL2306" useFeatures="true" includeLaunchers="true" autoIncludeRequirements="true">

<aboutInfo>
<image path="icons/about.gif"/>
Expand Down Expand Up @@ -48,7 +48,7 @@
</plugins>

<features>
<feature id="org.rodinp.platform" version="3.7.0.qualifier"/>
<feature id="org.rodinp.platform" version="3.8.0.qualifier"/>
<feature id="org.rodinp.handbook.feature" installMode="root"/>
<feature id="ac.soton.xeventb.sdk" version="3.0.0.qualifier" installMode="root"/>
<feature id="ac.soton.eventb.roseEditor.sdk" version="1.8.0.qualifier" installMode="root"/>
Expand Down
4 changes: 2 additions & 2 deletions ac.soton.rodinp.baseline/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@
<groupId>ac.soton.rodinp</groupId>
<artifactId>baseline</artifactId>
<name>Soton Baseline Bundle</name>
<version>3.7.0-SNAPSHOT</version>
<version>3.8.0-SNAPSHOT</version>

<repositories>
<!-- Repository contains the based Rodin platform -->
Expand All @@ -39,7 +39,7 @@
</repositories>

<properties>
<bundle-suffix>BL2212</bundle-suffix>
<bundle-suffix>BL2306</bundle-suffix>
</properties>

<packaging>eclipse-repository</packaging>
Expand Down
20 changes: 8 additions & 12 deletions ac.soton.rodinp.releases/Rodin.p2.inf
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,9 @@
instructions.configure=\
mkdir(path:${installFolder}/dropins);\
addRepository(type:0,location:https${#58}//download.eclipse.org/releases/2022-06,name:2022-06);\
addRepository(type:1,location:https${#58}//download.eclipse.org/releases/2022-06,name:2022-06);\
addRepository(type:0,location:https${#58}//download.eclipse.org/eclipse/updates/4.22,name:The Eclipse Project 4.22 Updates);\
addRepository(type:1,location:https${#58}//download.eclipse.org/eclipse/updates/4.22,name:The Eclipse Project 4.22 Updates);\
addRepository(type:0,location:http${#58}//methode-b.com/update_site/atelierb_provers,name:Atelier B Provers);\
addRepository(type:1,location:http${#58}//methode-b.com/update_site/atelierb_provers,name:Atelier B Provers);\
addRepository(type:0,location:http${#58}//download.eclipse.org/releases/2022-03,name:Eclipse 2022-03);\
addRepository(type:1,location:http${#58}//download.eclipse.org/releases/2022-03,name:Eclipse 2022-03);\
addRepository(type:0,location:http${#58}//www.atelierb.eu/update_site/atelierb_provers,name:Atelier B Provers);\
addRepository(type:1,location:http${#58}//www.atelierb.eu/update_site/atelierb_provers,name:Atelier B Provers);\
addRepository(type:0,location:http${#58}//rodin-b-sharp.sourceforge.net/updates,name:Rodin Plug-ins);\
addRepository(type:1,location:http${#58}//rodin-b-sharp.sourceforge.net/updates,name:Rodin Plug-ins);\
addRepository(type:0,location:http${#58}//rodin-b-sharp.sourceforge.net/core-updates,name:Core Rodin Updates);\
Expand All @@ -16,12 +14,10 @@ instructions.configure=\
addRepository(type:1,location:http${#58}//www.stups.hhu.de/camille_updates,name:Camille);\
addRepository(type:0,location:http${#58}//www.animb.org/updatesite,name:AnimB);\
addRepository(type:1,location:http${#58}//www.animb.org/updatesite,name:AnimB);\
addRepository(type:0,location:http${#58}//handbook.event-b.org/updatesite,name:Rodin Handbook);\
addRepository(type:1,location:http${#58}//handbook.event-b.org/updatesite,name:Rodin Handbook);\
addRepository(type:0,location:http${#58}//download.scala-ide.org/sdk/lithium/e44/scala211/stable/site,name:Scala);\
addRepository(type:1,location:http${#58}//download.scala-ide.org/sdk/lithium/e44/scala211/stable/site,name:Scala);\
addRepository(type:0,location:https${#58}//download.eclipse.org/rmf/updates/releases,name:RMF Update Site);\
addRepository(type:1,location:https${#58}//download.eclipse.org/rmf/updates/releases,name:RMF Update Site);\
addRepository(type:0,location:https${#58}//download.eclipse.org/sphinx/releases/0.11.x,name:Sphinx 0.11 Update Site);\
addRepository(type:1,location:https${#58}//download.eclipse.org/sphinx/releases/0.11.x,name:Sphinx 0.11 Update Site);\
addRepository(type:0,location:https${#58}//eventb-soton.github.io/updateSite/releases,name:Soton Plug-ins);\
addRepository(type:1,location:https${#58}//eventb-soton.github.io/updateSite/releases,name:Soton Plug-ins);
# BEWARE ! THE PREVIOUS LINE MUST NOT END WITH A BACKSLASH
addRepository(type:1,location:https${#58}//download.eclipse.org/sphinx/releases/0.11.x,name:Sphinx 0.11 Update Site);
# BEWARE ! THE PREVIOUS LINE MUST NOT END WITH A BACKSLASH
12 changes: 6 additions & 6 deletions ac.soton.rodinp.releases/Rodin.product
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<?pde version="3.5"?>

<product name="Rodin Platform" uid="org.rodinp.platform.product" id="org.rodinp.platform.product" application="org.eclipse.ui.ide.workbench" version="3.7.0.202204290954-46a4e4e99-RL2212" useFeatures="true" includeLaunchers="true" autoIncludeRequirements="true">
<product name="Rodin Platform" uid="org.rodinp.platform.product" id="org.rodinp.platform.product" application="org.eclipse.ui.ide.workbench" version="3.8.0.af2f57e1e-RL2306" useFeatures="true" includeLaunchers="true" autoIncludeRequirements="true">

<aboutInfo>
<image path="icons/about.gif"/>
Expand Down Expand Up @@ -48,14 +48,14 @@
</plugins>

<features>
<feature id="org.rodinp.platform" version="3.7.0.qualifier"/>
<feature id="org.rodinp.platform" version="3.8.0.qualifier"/>
<feature id="org.rodinp.handbook.feature" installMode="root"/>
<feature id="ac.soton.xeventb.feature" version="3.0.0.qualifier" installMode="root"/>
<feature id="ac.soton.eventb.roseEditor.feature" version="1.8.0.qualifier" installMode="root"/>
<feature id="ac.soton.xeventb.feature" version="2.1.1.qualifier" installMode="root"/>
<feature id="org.eventb.texteditor.feature" version="3.5.1.qualifier" installMode="root"/>
<feature id="org.eventb.smt" version="1.5.0.qualifier" installMode="root"/>
<feature id="de.prob2.feature" version="3.0.10.qualifier" installMode="root"/>
<feature id="de.prob2.feature" version="3.1.0.qualifier" installMode="root"/>
<feature id="org.eclipse.rmf.reqif10.pror.feature" version="0.13.0.qualifier" installMode="root"/>
<feature id="org.eclipse.egit" version="6.0.0.qualifier" installMode="root"/>
<feature id="org.eclipse.egit" version="6.1.0.qualifier" installMode="root"/>
</features>

<configurations>
Expand Down
6 changes: 3 additions & 3 deletions ac.soton.rodinp.releases/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,10 +27,10 @@
<groupId>ac.soton.rodinp</groupId>
<artifactId>releases</artifactId>
<name>Soton Releases Bundle</name>
<version>3.7.0-SNAPSHOT</version>
<version>3.8.0-SNAPSHOT</version>

<properties>
<bundle-suffix>RL2212</bundle-suffix>
<bundle-suffix>RL2306</bundle-suffix>
</properties>

<repositories>
Expand All @@ -43,7 +43,7 @@
<repository>
<id>eclipse-updates</id>
<layout>p2</layout>
<url>https://download.eclipse.org/eclipse/updates/4.20</url>
<url>https://download.eclipse.org/eclipse/updates/4.23</url>
</repository>
<repository>
<id>rmf-updates</id>
Expand Down
12 changes: 9 additions & 3 deletions ac.soton.rodinp.releng/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
<www-basedir>/tmp/rodin-build/</www-basedir>

<!-- This should match the based Rodin platform in Rodin.product -->
<rodin-version>3.7.0.202204290954-46a4e4e99</rodin-version>
<rodin-version>3.8.0.af2f57e1e</rodin-version>

<!-- Plug-in versions -->
<tycho-version>2.7.5</tycho-version>
Expand All @@ -52,9 +52,9 @@
</repository>
<!-- Eclipse Releases Update Site -->
<repository>
<id>2021-12</id>
<id>2022-03</id>
<layout>p2</layout>
<url>https://download.eclipse.org/releases/2021-12</url>
<url>https://download.eclipse.org/releases/2022-03</url>
</repository>
<!-- GMF Tooling Update Site -->
<repository>
Expand All @@ -75,6 +75,12 @@
<layout>p2</layout>
<url>file://${basedir}/../${rodinp-dev}</url>
</repository>
<!-- Camille Update Site -->
<repository>
<id>camille</id>
<layout>p2</layout>
<url>https://www.stups.hhu.de/camille_updates</url>
</repository>
</repositories>

<build>
Expand Down
20 changes: 8 additions & 12 deletions ac.soton.rodinp.target/Rodin.p2.inf
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,9 @@
instructions.configure=\
mkdir(path:${installFolder}/dropins);\
addRepository(type:0,location:https${#58}//download.eclipse.org/releases/2022-06,name:2022-06);\
addRepository(type:1,location:https${#58}//download.eclipse.org/releases/2022-06,name:2022-06);\
addRepository(type:0,location:https${#58}//download.eclipse.org/eclipse/updates/4.22,name:The Eclipse Project 4.22 Updates);\
addRepository(type:1,location:https${#58}//download.eclipse.org/eclipse/updates/4.22,name:The Eclipse Project 4.22 Updates);\
addRepository(type:0,location:http${#58}//methode-b.com/update_site/atelierb_provers,name:Atelier B Provers);\
addRepository(type:1,location:http${#58}//methode-b.com/update_site/atelierb_provers,name:Atelier B Provers);\
addRepository(type:0,location:http${#58}//download.eclipse.org/releases/2022-03,name:Eclipse 2022-03);\
addRepository(type:1,location:http${#58}//download.eclipse.org/releases/2022-03,name:Eclipse 2022-03);\
addRepository(type:0,location:http${#58}//www.atelierb.eu/update_site/atelierb_provers,name:Atelier B Provers);\
addRepository(type:1,location:http${#58}//www.atelierb.eu/update_site/atelierb_provers,name:Atelier B Provers);\
addRepository(type:0,location:http${#58}//rodin-b-sharp.sourceforge.net/updates,name:Rodin Plug-ins);\
addRepository(type:1,location:http${#58}//rodin-b-sharp.sourceforge.net/updates,name:Rodin Plug-ins);\
addRepository(type:0,location:http${#58}//rodin-b-sharp.sourceforge.net/core-updates,name:Core Rodin Updates);\
Expand All @@ -16,12 +14,10 @@ instructions.configure=\
addRepository(type:1,location:http${#58}//www.stups.hhu.de/camille_updates,name:Camille);\
addRepository(type:0,location:http${#58}//www.animb.org/updatesite,name:AnimB);\
addRepository(type:1,location:http${#58}//www.animb.org/updatesite,name:AnimB);\
addRepository(type:0,location:http${#58}//handbook.event-b.org/updatesite,name:Rodin Handbook);\
addRepository(type:1,location:http${#58}//handbook.event-b.org/updatesite,name:Rodin Handbook);\
addRepository(type:0,location:http${#58}//download.scala-ide.org/sdk/lithium/e44/scala211/stable/site,name:Scala);\
addRepository(type:1,location:http${#58}//download.scala-ide.org/sdk/lithium/e44/scala211/stable/site,name:Scala);\
addRepository(type:0,location:https${#58}//download.eclipse.org/rmf/updates/releases,name:RMF Update Site);\
addRepository(type:1,location:https${#58}//download.eclipse.org/rmf/updates/releases,name:RMF Update Site);\
addRepository(type:0,location:https${#58}//download.eclipse.org/sphinx/releases/0.11.x,name:Sphinx 0.11 Update Site);\
addRepository(type:1,location:https${#58}//download.eclipse.org/sphinx/releases/0.11.x,name:Sphinx 0.11 Update Site);\
addRepository(type:0,location:https${#58}//eventb-soton.github.io/updateSite/releases,name:Soton Plug-ins);\
addRepository(type:1,location:https${#58}//eventb-soton.github.io/updateSite/releases,name:Soton Plug-ins);
# BEWARE ! THE PREVIOUS LINE MUST NOT END WITH A BACKSLASH
addRepository(type:1,location:https${#58}//download.eclipse.org/sphinx/releases/0.11.x,name:Sphinx 0.11 Update Site);
# BEWARE ! THE PREVIOUS LINE MUST NOT END WITH A BACKSLASH
16 changes: 8 additions & 8 deletions ac.soton.rodinp.target/Rodin.product
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<?pde version="3.5"?>

<product name="Rodin Platform" uid="org.rodinp.platform.product" id="org.rodinp.platform.product" application="org.eclipse.ui.ide.workbench" version="3.7.0.202204290954-46a4e4e99-TG2212" useFeatures="true" includeLaunchers="true" autoIncludeRequirements="true">
<product name="Rodin Platform" uid="org.rodinp.platform.product" id="org.rodinp.platform.product" application="org.eclipse.ui.ide.workbench" version="3.8.0.af2f57e1e-TG2306" useFeatures="true" includeLaunchers="true" autoIncludeRequirements="true">

<aboutInfo>
<image path="icons/about.gif"/>
Expand Down Expand Up @@ -48,14 +48,14 @@
</plugins>

<features>
<feature id="org.eventb.ide.source" version="3.7.0.qualifier" installMode="root"/>
<feature id="org.rodinp.platform.source" version="3.7.0.qualifier" installMode="root"/>
<feature id="org.rodinp.platform.tests.source" version="3.7.0.qualifier" installMode="root"/>
<feature id="org.eventb.ide.source" version="3.8.0.qualifier" installMode="root"/>
<feature id="org.rodinp.platform.source" version="3.8.0.qualifier" installMode="root"/>
<feature id="org.rodinp.platform.tests.source" version="3.8.0.qualifier" installMode="root"/>
<feature id="org.rodinp.handbook.feature" installMode="root"/>
<feature id="org.eclipse.sdk" version="4.22.0.qualifier" installMode="root"/>
<feature id="org.eclipse.egit" version="6.0.0.qualifier" installMode="root"/>
<feature id="org.eclipse.emf.sdk" version="2.28.0.qualifier" installMode="root"/>
<feature id="org.eclipse.xtext.sdk" version="2.25.0.qualifier" installMode="root"/>
<feature id="org.eclipse.sdk" version="4.23.0.qualifier" installMode="root"/>
<feature id="org.eclipse.egit" version="6.1.0.qualifier" installMode="root"/>
<feature id="org.eclipse.emf.sdk" version="2.29.0.qualifier" installMode="root"/>
<feature id="org.eclipse.xtext.sdk" version="2.26.0.qualifier" installMode="root"/>
<feature id="ac.soton.xeventb.sdk" version="3.0.0.qualifier" installMode="root"/>
<feature id="ac.soton.eventb.roseEditor.sdk" version="1.8.0.qualifier" installMode="root"/>
<feature id="org.eventb.smt" version="1.5.0.qualifier" installMode="root"/>
Expand Down
6 changes: 3 additions & 3 deletions ac.soton.rodinp.target/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,10 +27,10 @@
<groupId>ac.soton.rodinp</groupId>
<artifactId>target</artifactId>
<name>Soton Target Bundle</name>
<version>3.7.0-SNAPSHOT</version>
<version>3.8.0-SNAPSHOT</version>

<properties>
<bundle-suffix>TG2212</bundle-suffix>
<bundle-suffix>TG2306</bundle-suffix>
</properties>

<repositories>
Expand All @@ -43,7 +43,7 @@
<repository>
<id>eclipse-updates</id>
<layout>p2</layout>
<url>https://download.eclipse.org/eclipse/updates/4.20</url>
<url>https://download.eclipse.org/eclipse/updates/4.23</url>
</repository>
<repository>
<id>xpand-updates</id>
Expand Down
Binary file modified org.rodinp.dev/artifacts.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/artifacts.xml.xz
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/binary/org.eclipse.platform_root_4.22.0.v20211124-1800
View file
Open in desktop
Binary file not shown.
Binary file added org.rodinp.dev/binary/org.eclipse.platform_root_4.23.0.v20220308-0722
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/binary/org.eclipse.rcp_root_4.22.0.v20211124-1800
View file
Open in desktop
Binary file not shown.
Binary file added org.rodinp.dev/binary/org.eclipse.rcp_root_4.23.0.v20220308-0722
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/content.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/content.xml.xz
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/fr.systerel.editor.source_0.10.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/fr.systerel.editor_0.10.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.e4.rcp.source_4.22.0.v20211123-0851.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.e4.rcp_4.22.0.v20211123-0851.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.ecf.core.feature_1.5.702.v20210409-2301.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.ecf.filetransfer.feature_3.14.1800.v20210618-0642.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...dev/features/org.eclipse.ecf.filetransfer.httpclient45.feature_1.0.703.v20210512-0614.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.emf.common.source_2.24.0.v20210924-1718.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.emf.common_2.24.0.v20210924-1718.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.emf.ecore.source_2.26.0.v20210924-1718.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.emf.ecore_2.26.0.v20210924-1718.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...odinp.dev/features/org.eclipse.equinox.p2.core.feature.source_1.6.1200.v20211104-1616.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.equinox.p2.core.feature_1.6.1200.v20211104-1616.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...inp.dev/features/org.eclipse.equinox.p2.extras.feature.source_1.4.1400.v20211104-1616.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.equinox.p2.extras.feature_1.4.1400.v20211104-1616.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...rodinp.dev/features/org.eclipse.equinox.p2.rcp.feature.source_1.4.1400.v20211104-1616.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.equinox.p2.rcp.feature_1.4.1400.v20211104-1616.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.equinox.p2.user.ui.source_2.4.1400.v20211104-1616.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.equinox.p2.user.ui_2.4.1400.v20211104-1616.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.help.source_2.3.800.v20211124-1800.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.help_2.3.800.v20211124-1800.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.platform.source_4.22.0.v20211124-1800.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.platform_4.22.0.v20211124-1800.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.rcp.source_4.22.0.v20211124-1800.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eclipse.rcp_4.22.0.v20211124-1800.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eventb.ide.source_3.7.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.eventb.ide_3.7.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.rodinp.platform.source_3.7.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.rodinp.platform.tests.source_3.7.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.rodinp.platform.tests_3.7.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.rodinp.platform_3.7.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.rodinp.source_1.9.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/features/org.rodinp_1.9.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
1 change: 0 additions & 1 deletion org.rodinp.dev/org.rodinp.dev
View file
Open in desktop

This file was deleted.

2 changes: 1 addition & 1 deletion org.rodinp.dev/p2.index
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#Fri Apr 29 11:58:05 CEST 2022
#Wed Apr 05 17:49:47 CEST 2023
artifact.repository.factory.order=artifacts.xml.xz,artifacts.xml,\!
version=1
metadata.repository.factory.order=content.xml.xz,content.xml,\!
Binary file removed org.rodinp.dev/plugins/ch.ethz.eventb.keyboard.latex.source_1.0.1.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/ch.ethz.eventb.keyboard.latex_1.0.1.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/com.sun.jna.platform_4.5.1.v20190425-1842.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/com.sun.jna_4.5.1.v20190425-1842.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/fr.systerel.editor.help.source_0.6.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/fr.systerel.editor.help_0.6.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/fr.systerel.editor.source_0.11.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/fr.systerel.editor.tests.source_0.10.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/fr.systerel.editor.tests_0.10.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/fr.systerel.editor_0.11.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/fr.systerel.explorer.source_2.3.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/fr.systerel.explorer_2.3.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/javax.servlet.jsp.source_2.2.0.v201112011158.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/javax.servlet.jsp_2.2.0.v201112011158.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.apache.httpcomponents.httpclient.win_4.5.13.v20210128-2225.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.apache.httpcomponents.httpclient_4.5.13.v20210128-2225.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.apache.httpcomponents.httpcore_4.4.14.v20210128-2225.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.bouncycastle.bcpg_1.69.0.v20210713-1924.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.bouncycastle.bcprov_1.69.0.v20210923-1401.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ant.core.source_3.6.200.v20210907-1007.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ant.core_3.6.200.v20210907-1007.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.compare.core_3.6.1000.v20201020-1107.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.compare.source_3.8.200.v20210910-1335.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.compare.win32_1.2.800.v20200127-1343.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.compare_3.8.200.v20210910-1335.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...dinp.dev/plugins/org.eclipse.core.databinding.observable.source_1.11.0.v20210722-1426.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.databinding.observable_1.11.0.v20210722-1426.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.databinding.source_1.10.100.v20200926-1123.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.databinding_1.10.100.v20200926-1123.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.externaltools.source_1.2.100.v20210812-1118.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.externaltools_1.2.100.v20210812-1118.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.filebuffers.source_3.7.100.v20210909-1906.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.filebuffers_3.7.100.v20210909-1906.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.filesystem.source_1.9.200.v20210912-1851.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.core.filesystem.win32.x86_64_1.4.200.v20190812-0909.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.filesystem_1.9.200.v20210912-1851.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.jobs.source_3.12.0.v20210723-1034.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.jobs_3.12.0.v20210723-1034.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.net.linux.source_1.0.0.v20210424-0724.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.net.linux.x86_64.source_1.2.500.v20210510-1619.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.net.linux.x86_64_1.2.500.v20210510-1619.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.net.linux_1.0.0.v20210424-0724.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.core.net.win32.x86_64_1.1.500.v20190925-1337.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.resources.source_3.16.0.v20211001-2032.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.core.resources.win32.x86_64_3.5.400.v20190812-0909.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.resources_3.16.0.v20211001-2032.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.runtime.source_3.24.0.v20210910-0750.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.core.runtime_3.24.0.v20210910-0750.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.debug.core.source_3.18.300.v20211117-1829.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.debug.core_3.18.300.v20211117-1829.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.debug.ui.launchview.source_1.0.2.v20211115-1052.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.debug.ui.launchview_1.0.2.v20211115-1052.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.debug.ui.source_3.15.200.v20211108-1752.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.debug.ui_3.15.200.v20211108-1752.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.e4.core.commands.source_1.0.0.v20210507-1901.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.e4.core.commands_1.0.0.v20210507-1901.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.e4.ui.css.swt.theme_0.13.0.v20201026-1147.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.e4.ui.dialogs.source_1.3.100.v20211103-1334.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.e4.ui.dialogs_1.3.100.v20211103-1334.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.e4.ui.services_1.5.0.v20210115-1333.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.e4.ui.swt.win32_1.1.0.v20201119-1132.jar
View file
Open in desktop
Binary file not shown.
Binary file modified ...p.dev/plugins/org.eclipse.e4.ui.workbench.renderers.swt.cocoa_0.12.600.v20200416-0656.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ....dev/plugins/org.eclipse.e4.ui.workbench.renderers.swt.source_0.15.300.v20211102-1716.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.e4.ui.workbench.renderers.swt_0.15.300.v20211102-1716.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.e4.ui.workbench.swt.source_0.16.300.v20211102-0939.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.e4.ui.workbench.swt_0.16.300.v20211102-0939.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...ugins/org.eclipse.ecf.provider.filetransfer.httpclient45.win32_1.0.400.v20210410-0052.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...dev/plugins/org.eclipse.ecf.provider.filetransfer.httpclient45_1.0.401.v20210512-0614.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ecf.provider.filetransfer_3.2.700.v20210618-0642.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ecf_3.9.102.v20210409-2301.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.emf.common.source_2.23.0.v20210924-1718.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.emf.common_2.23.0.v20210924-1718.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.emf.ecore.change.source_2.14.0.v20190528-0725.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.emf.ecore.change_2.14.0.v20190528-0725.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.emf.ecore.source_2.25.0.v20210816-0937.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.emf.ecore.xmi.source_2.16.0.v20190528-0725.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.emf.ecore.xmi_2.16.0.v20190528-0725.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.emf.ecore_2.25.0.v20210816-0937.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.common.source_3.15.100.v20211021-1418.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.common_3.15.100.v20211021-1418.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ....dev/plugins/org.eclipse.equinox.p2.artifact.repository.source_1.4.300.v20211104-1311.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.artifact.repository_1.4.300.v20211104-1311.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.core.source_2.8.100.v20210908-0659.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.core_2.8.100.v20210908-0659.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.director.app.source_1.2.0.v20210315-2042.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.director.app_1.2.0.v20210315-2042.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.director.source_2.5.100.v20210813-0606.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.director_2.5.100.v20210813-0606.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.engine.source_2.7.200.v20211104-1616.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.engine_2.7.200.v20211104-1616.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...dinp.dev/plugins/org.eclipse.equinox.p2.extensionlocation.source_1.4.0.v20210316-1209.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.extensionlocation_1.4.0.v20210316-1209.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.jarprocessor.source_1.2.100.v20210907-0854.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.jarprocessor_1.2.100.v20210907-0854.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...dinp.dev/plugins/org.eclipse.equinox.p2.publisher.eclipse.source_1.4.1.v20210812-1422.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.publisher.eclipse_1.4.1.v20210812-1422.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.publisher.source_1.6.200.v20211013-0600.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.publisher_1.6.200.v20211013-0600.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...inp.dev/plugins/org.eclipse.equinox.p2.reconciler.dropins.source_1.4.0.v20210312-1245.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.reconciler.dropins_1.4.0.v20210312-1245.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.repository.source_2.5.300.v20211006-1229.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.repository_2.5.300.v20211006-1229.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...p.dev/plugins/org.eclipse.equinox.p2.touchpoint.natives.source_1.4.200.v20211018-0955.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.touchpoint.natives_1.4.200.v20211018-0955.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...inp.dev/plugins/org.eclipse.equinox.p2.ui.sdk.scheduler.source_1.5.200.v20210813-0818.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.ui.sdk.scheduler_1.5.200.v20210813-0818.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.ui.sdk.source_1.2.2.v20211104-1616.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.ui.sdk_1.2.2.v20211104-1616.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.ui.source_2.7.300.v20211104-1311.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.p2.ui_2.7.300.v20211104-1311.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...p.dev/plugins/org.eclipse.equinox.security.linux.x86_64.source_1.1.500.v20210125-1508.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.security.linux.x86_64_1.1.500.v20210125-1508.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.security.source_1.3.800.v20211021-1418.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.security.ui.source_1.3.100.v20211021-1418.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.security.ui_1.3.100.v20211021-1418.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.equinox.security_1.3.800.v20211021-1418.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.help.base.source_4.3.500.v20211124-1800.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.help.base_4.3.500.v20211124-1800.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.help.webapp.source_3.10.500.v20210907-0721.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.help.webapp_3.10.500.v20210907-0721.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.jface.source_3.24.0.v20211110-1517.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.jface.text.source_3.19.0.v20211026-2100.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.jface.text_3.19.0.v20211026-2100.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.jface_3.24.0.v20211110-1517.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.jsch.core_1.3.900.v20200422-1935.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...rodinp.dev/plugins/org.eclipse.osgi.compatibility.state.source_1.2.500.v20210730-0750.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.osgi.compatibility.state_1.2.500.v20210730-0750.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.osgi.source_3.17.100.v20211104-1730.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.osgi_3.17.100.v20211104-1730.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.platform.doc.isv_4.22.0.v20211124-1713.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.platform.doc.user_4.22.0.v20211123-1648.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.platform.source_4.22.0.v20211124-1800.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.platform_4.22.0.v20211124-1800.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.rcp_4.22.0.v20211124-1800.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.search.source_3.14.0.v20211108-0804.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.search_3.14.0.v20211108-0804.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.swt.cocoa.macosx.x86_64.source_3.118.0.v20211123-0851.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.swt.cocoa.macosx.x86_64_3.118.0.v20211123-0851.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.swt.gtk.linux.x86_64.source_3.118.0.v20211123-0851.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.swt.gtk.linux.x86_64_3.118.0.v20211123-0851.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.swt.win32.win32.x86_64.source_3.118.0.v20211123-0851.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.swt.win32.win32.x86_64_3.118.0.v20211123-0851.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.swt_3.118.0.v20211123-0851.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.team.core.source_3.9.200.v20211013-1022.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.team.core_3.9.200.v20211013-1022.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.team.ui.source_3.9.100.v20210721-1306.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.team.ui_3.9.100.v20210721-1306.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.text.quicksearch.source_1.1.200.v20210616-1255.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.text.quicksearch_1.1.200.v20210616-1255.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.ui.cocoa_1.2.400.v20191217-1850.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.genericeditor.source_1.2.100.v20211021-1148.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.genericeditor_1.2.100.v20211021-1148.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.ide.application.source_1.4.200.v20211026-0701.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.ide.application_1.4.200.v20211026-0701.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.ide.source_3.18.400.v20211026-0701.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.ide_3.18.400.v20211026-0701.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.monitoring.source_1.2.0.v20210111-1353.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.monitoring_1.2.0.v20210111-1353.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.navigator.resources.source_3.8.300.v20210914-2004.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.navigator.resources_3.8.300.v20210914-2004.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.source_3.200.0.v20211026-0701.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.themes.source_1.2.1600.v20211001-1357.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.themes_1.2.1600.v20211001-1357.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.ui.views.properties.tabbed_3.9.100.v20201223-1348.jar
View file
Open in desktop
Binary file not shown.
Binary file modified org.rodinp.dev/plugins/org.eclipse.ui.win32_3.4.400.v20200414-1247.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.workbench.source_3.124.0.v20211116-0651.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...rodinp.dev/plugins/org.eclipse.ui.workbench.texteditor.source_3.16.300.v20211119-1032.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.workbench.texteditor_3.16.300.v20211119-1032.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui.workbench_3.124.0.v20211116-0651.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eclipse.ui_3.200.0.v20211026-0701.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.core.ast.source_3.6.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.core.ast.tests.source_3.6.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.core.ast.tests_3.6.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.core.ast_3.6.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.core.seqprover.source_3.5.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...odinp.dev/plugins/org.eventb.core.seqprover.tests.source_3.5.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.core.seqprover.tests_3.5.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.core.seqprover_3.5.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.core.source_3.5.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.core.tests.source_3.4.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.core.tests_3.4.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.core_3.5.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.ide.source_3.2.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.ide_3.2.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.keyboard.source_1.0.1.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.keyboard.tests.source_1.0.2.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.keyboard.tests_1.0.2.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.keyboard_1.0.1.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.pp.source_0.9.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.pp.tests.source_0.9.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.pp.tests_0.9.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.pp.ui.source_0.3.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.pp.ui_0.3.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.pp_0.9.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.pptrans.source_0.9.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.pptrans.tests.source_0.9.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.pptrans.tests_0.9.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.pptrans_0.9.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.ui.source_3.6.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.ui.symboltable.source_1.3.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...odinp.dev/plugins/org.eventb.ui.symboltable.tests.source_1.3.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.ui.symboltable.tests_1.3.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.ui.symboltable_1.3.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.ui.tests.source_3.4.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.ui.tests_3.4.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.eventb.ui_3.6.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.core.emf.source_1.3.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.core.emf.tests.source_1.2.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.core.emf.tests_1.2.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.core.emf_1.3.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.core.source_1.9.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.core.tests.source_1.8.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.core.tests_1.8.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.core_1.9.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.keyboard.core.source_2.2.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed ...rodinp.dev/plugins/org.rodinp.keyboard.core.tests.source_2.1.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.keyboard.core.tests_2.1.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.keyboard.core_2.2.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.keyboard.ui.source_2.3.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.keyboard.ui.tests.source_2.1.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.keyboard.ui.tests_2.1.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.keyboard.ui_2.3.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.platform.source_3.7.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.platform_3.7.0.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp.source_1.8.1.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Binary file removed org.rodinp.dev/plugins/org.rodinp_1.8.1.202204290954-46a4e4e99.jar
View file
Open in desktop
Binary file not shown.
Loading