diff --git a/artifacts.jar b/artifacts.jar
new file mode 100644
index 000000000..abfc5c1c7
Binary files /dev/null and b/artifacts.jar differ
diff --git a/artifacts.xml.xz b/artifacts.xml.xz
new file mode 100644
index 000000000..5b2ceddfe
Binary files /dev/null and b/artifacts.xml.xz differ
diff --git a/content.jar b/content.jar
new file mode 100644
index 000000000..acb20c023
Binary files /dev/null and b/content.jar differ
diff --git a/content.xml.xz b/content.xml.xz
new file mode 100644
index 000000000..e7d5a7c3f
Binary files /dev/null and b/content.xml.xz differ
diff --git a/features/fr.lip6.move.gal.cegar.feature_1.0.0.202407041249.jar b/features/fr.lip6.move.gal.cegar.feature_1.0.0.202407041249.jar
new file mode 100644
index 000000000..f7d6b6e5a
Binary files /dev/null and b/features/fr.lip6.move.gal.cegar.feature_1.0.0.202407041249.jar differ
diff --git a/features/fr.lip6.move.gal.feature.coloane_1.0.0.202407041249.jar b/features/fr.lip6.move.gal.feature.coloane_1.0.0.202407041249.jar
new file mode 100644
index 000000000..e34a9d33a
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.coloane_1.0.0.202407041249.jar differ
diff --git a/features/fr.lip6.move.gal.feature.core_1.0.0.202407041249.jar b/features/fr.lip6.move.gal.feature.core_1.0.0.202407041249.jar
new file mode 100644
index 000000000..53b6b1ffd
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.core_1.0.0.202407041249.jar differ
diff --git a/features/fr.lip6.move.gal.feature.dve_1.0.0.202407041249.jar b/features/fr.lip6.move.gal.feature.dve_1.0.0.202407041249.jar
new file mode 100644
index 000000000..9c8253acb
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.dve_1.0.0.202407041249.jar differ
diff --git a/features/fr.lip6.move.gal.feature.examples_1.0.0.202407041249.jar b/features/fr.lip6.move.gal.feature.examples_1.0.0.202407041249.jar
new file mode 100644
index 000000000..71810dcf4
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.examples_1.0.0.202407041249.jar differ
diff --git a/features/fr.lip6.move.gal.feature.itstools_1.0.0.202407041249.jar b/features/fr.lip6.move.gal.feature.itstools_1.0.0.202407041249.jar
new file mode 100644
index 000000000..27490762a
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.itstools_1.0.0.202407041249.jar differ
diff --git a/features/fr.lip6.move.gal.feature.pnmcc_1.0.0.202407041249.jar b/features/fr.lip6.move.gal.feature.pnmcc_1.0.0.202407041249.jar
new file mode 100644
index 000000000..adeb85107
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.pnmcc_1.0.0.202407041249.jar differ
diff --git a/features/fr.lip6.move.gal.feature.pnml_1.0.0.202407041249.jar b/features/fr.lip6.move.gal.feature.pnml_1.0.0.202407041249.jar
new file mode 100644
index 000000000..b765c028c
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.pnml_1.0.0.202407041249.jar differ
diff --git a/features/fr.lip6.move.gal.feature.promela_1.0.0.202407041249.jar b/features/fr.lip6.move.gal.feature.promela_1.0.0.202407041249.jar
new file mode 100644
index 000000000..b7fad5fa6
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.promela_1.0.0.202407041249.jar differ
diff --git a/features/fr.lip6.move.gal.feature.sdk_1.0.0.202407041249.jar b/features/fr.lip6.move.gal.feature.sdk_1.0.0.202407041249.jar
new file mode 100644
index 000000000..af1d4b806
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.sdk_1.0.0.202407041249.jar differ
diff --git a/features/fr.lip6.move.gal.feature.xta_1.0.0.202407041249.jar b/features/fr.lip6.move.gal.feature.xta_1.0.0.202407041249.jar
new file mode 100644
index 000000000..74a105de9
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.xta_1.0.0.202407041249.jar differ
diff --git a/features/fr.lip6.move.gal.gal2smt.feature_1.0.0.202407041249.jar b/features/fr.lip6.move.gal.gal2smt.feature_1.0.0.202407041249.jar
new file mode 100644
index 000000000..27527fc32
Binary files /dev/null and b/features/fr.lip6.move.gal.gal2smt.feature_1.0.0.202407041249.jar differ
diff --git a/features/fr.lip6.move.gal.ltsmin.feature_1.0.0.202407041249.jar b/features/fr.lip6.move.gal.ltsmin.feature_1.0.0.202407041249.jar
new file mode 100644
index 000000000..6f0fd7405
Binary files /dev/null and b/features/fr.lip6.move.gal.ltsmin.feature_1.0.0.202407041249.jar differ
diff --git a/features/org.eclipse.orbit.maven.org.antlr.3.2_4.30.0.v20230929-1400.jar b/features/org.eclipse.orbit.maven.org.antlr.3.2_4.30.0.v20230929-1400.jar
new file mode 100644
index 000000000..939b5e4ec
Binary files /dev/null and b/features/org.eclipse.orbit.maven.org.antlr.3.2_4.30.0.v20230929-1400.jar differ
diff --git a/fr.lip6.converter.jar b/fr.lip6.converter.jar
new file mode 100644
index 000000000..b82d81bb8
Binary files /dev/null and b/fr.lip6.converter.jar differ
diff --git a/fr.lip6.move.gal.itscl.product-linux.gtk.x86_64.zip b/fr.lip6.move.gal.itscl.product-linux.gtk.x86_64.zip
new file mode 100644
index 000000000..9bb6cf126
Binary files /dev/null and b/fr.lip6.move.gal.itscl.product-linux.gtk.x86_64.zip differ
diff --git a/fr.lip6.move.gal.itscl.product-macosx.cocoa.x86_64.zip b/fr.lip6.move.gal.itscl.product-macosx.cocoa.x86_64.zip
new file mode 100644
index 000000000..f54ce8d12
Binary files /dev/null and b/fr.lip6.move.gal.itscl.product-macosx.cocoa.x86_64.zip differ
diff --git a/fr.lip6.move.gal.itscl.product-win32.win32.x86_64.zip b/fr.lip6.move.gal.itscl.product-win32.win32.x86_64.zip
new file mode 100644
index 000000000..cc64107bd
Binary files /dev/null and b/fr.lip6.move.gal.itscl.product-win32.win32.x86_64.zip differ
diff --git a/index.html b/index.html
new file mode 100644
index 000000000..da2b61673
--- /dev/null
+++ b/index.html
@@ -0,0 +1,55 @@
+<h1> Download page for ITS tools command line</h1>
+
+<h2>Converter tool</h2>
+
+<p>This small tool can convert various dialects for Petri nets and properties to PNML standard for nets and MCC standard for properties.</p>
+
+<h2>Download the converter tool : <a href="fr.lip6.converter.jar">Converter tool</a>. 
+  This tool is packaged as a Java 17 or better executable : run it with "java -jar fr.lip6.converter.jar". </h2>
+<p> 
+
+<h2>Command line ITS-tools</h2>
+
+<p> Despite the ui integration of ITS-Tools with Eclipse being very nice, many scenarios involve calling the ITS-tools as part of a process,
+   thus are easier to write and maintain using the command line.
+Plus some people just think eclipse is bloated and over-complex or have never used it, adopting it because of ITS-tools is too much.
+However ITS-tools leverages many components of the eclipse platform, notably EMF and XText which made extracting our code a bit of an issue.
+</p>
+
+<p>
+So due to popular demand, we are happy to present the ITS-tools command line support,
+ that allows to do everything we could from Eclipse, but using a plain command line and with minimal download/install hassle.
+</p>
+
+<h2>Download the its-cl ITS tools command line for Linux here : <a href="fr.lip6.move.gal.itscl.product-linux.gtk.x86_64.zip"> its-cl Linux (gtk, x64)</a> 
+This is the version used in the <a href="http://mcc.lip6.fr">Model-checking competition at ICATPN </a>
+</h2>
+
+<h2>Download the its-cl ITS tools command line for Windows here : <a href="fr.lip6.move.gal.itscl.product-win32.win32.x86_64.zip"> its-cl Windows (XP or later, x64)</a>. 
+  Please note that for this windows build you need to invoke "eclipsec" command instead of "its-tools".</h2>
+
+<h2>Download the its-cl ITS tools command line for MacOS here : <a href="fr.lip6.move.gal.itscl.product-macosx.cocoa.x86_64.zip"> its-cl OSX (Cocoa x64)</a> </h2>
+
+<h3> Please note that you need Java 17 or better to run these tools. Simply unzip and run "its-tools" command.</h3>
+
+<p>
+Current flags are relatively limited :<br/>
+<ul>
+<li> -i FILE  : specify input file, a full gal model (parameters, hierarchy, loops, properties) such as used within eclipse.
+</li>
+<li> Logic flags (only one at a time)
+<ul>
+<li> -reach  : check all Safety and Bounds properties of the input
+</li>
+<li> -ctl  : check all CTL properties of the input
+</li>
+<li> -ltl  : check all LTL properties of the input
+</li>
+</ul>
+</li>
+<li>
+-itsflags FLAGS : specify additional flags, passed as is to the actual model-checking tool. For instance <h5>-itsflags "--trace-states  -manywitness  10"</h5> will display several counter examples.
+</li>
+</ul>
+
+</p>
diff --git a/original-fr.lip6.converter.jar b/original-fr.lip6.converter.jar
new file mode 100644
index 000000000..83a757c62
Binary files /dev/null and b/original-fr.lip6.converter.jar differ
diff --git a/p2.index b/p2.index
new file mode 100644
index 000000000..e1672921f
--- /dev/null
+++ b/p2.index
@@ -0,0 +1,4 @@
+#Thu Jul 04 12:52:04 UTC 2024
+artifact.repository.factory.order=artifacts.xml.xz,artifacts.xml,\!
+version=1
+metadata.repository.factory.order=content.xml.xz,content.xml,\!
diff --git a/plugins/fr.lip6.ltl.jhoaf_1.0.0.202407041249.jar b/plugins/fr.lip6.ltl.jhoaf_1.0.0.202407041249.jar
new file mode 100644
index 000000000..e95c66e82
Binary files /dev/null and b/plugins/fr.lip6.ltl.jhoaf_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202407041249.jar b/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202407041249.jar
new file mode 100644
index 000000000..620287997
Binary files /dev/null and b/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.ltl.tgba_1.0.0.202407041249.jar b/plugins/fr.lip6.ltl.tgba_1.0.0.202407041249.jar
new file mode 100644
index 000000000..b6e2c55cd
Binary files /dev/null and b/plugins/fr.lip6.ltl.tgba_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.coloane.core_1.1.0.202405270901.jar b/plugins/fr.lip6.move.coloane.core_1.1.0.202405270901.jar
new file mode 100644
index 000000000..361f1757a
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.core_1.1.0.202405270901.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.exportGAL_1.0.0.202407041249.jar b/plugins/fr.lip6.move.coloane.extensions.exportGAL_1.0.0.202407041249.jar
new file mode 100644
index 000000000..3dbef30f4
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.exportGAL_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportCAMI_1.1.0.202405270901.jar b/plugins/fr.lip6.move.coloane.extensions.importExportCAMI_1.1.0.202405270901.jar
new file mode 100644
index 000000000..e0d904242
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importExportCAMI_1.1.0.202405270901.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportITS_1.0.0.202407041249.jar b/plugins/fr.lip6.move.coloane.extensions.importExportITS_1.0.0.202407041249.jar
new file mode 100644
index 000000000..76a345a22
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importExportITS_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportROMEO_1.0.0.202407041249.jar b/plugins/fr.lip6.move.coloane.extensions.importExportROMEO_1.0.0.202407041249.jar
new file mode 100644
index 000000000..aa48e6b81
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importExportROMEO_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportTINA_1.0.0.202407041249.jar b/plugins/fr.lip6.move.coloane.extensions.importExportTINA_1.0.0.202407041249.jar
new file mode 100644
index 000000000..4a7e73dd9
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importExportTINA_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importFromPROD_1.0.0.202407041249.jar b/plugins/fr.lip6.move.coloane.extensions.importFromPROD_1.0.0.202407041249.jar
new file mode 100644
index 000000000..a235cc39f
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importFromPROD_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importFromSGROMEO_1.0.0.202407041249.jar b/plugins/fr.lip6.move.coloane.extensions.importFromSGROMEO_1.0.0.202407041249.jar
new file mode 100644
index 000000000..e1ddc8e59
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importFromSGROMEO_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.coloane.fragments.formalisms.its_1.0.0.202407041249.jar b/plugins/fr.lip6.move.coloane.fragments.formalisms.its_1.0.0.202407041249.jar
new file mode 100644
index 000000000..cf0788368
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.fragments.formalisms.its_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.coloane.fragments.formalisms.tpn_1.0.0.202407041249.jar b/plugins/fr.lip6.move.coloane.fragments.formalisms.tpn_1.0.0.202407041249.jar
new file mode 100644
index 000000000..2bb24dd01
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.fragments.formalisms.tpn_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.coloane.interfaces_1.1.0.202405270901.jar b/plugins/fr.lip6.move.coloane.interfaces_1.1.0.202405270901.jar
new file mode 100644
index 000000000..f5657ed13
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.interfaces_1.1.0.202405270901.jar differ
diff --git a/plugins/fr.lip6.move.coloane.projects.expressions_1.0.0.202407041249.jar b/plugins/fr.lip6.move.coloane.projects.expressions_1.0.0.202407041249.jar
new file mode 100644
index 000000000..4b25d8027
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.projects.expressions_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.coloane.projects.its_1.0.0.202407041249.jar b/plugins/fr.lip6.move.coloane.projects.its_1.0.0.202407041249.jar
new file mode 100644
index 000000000..42976ad72
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.projects.its_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.coloane.thirdparty_1.1.0.202405270901.jar b/plugins/fr.lip6.move.coloane.thirdparty_1.1.0.202405270901.jar
new file mode 100644
index 000000000..0b4448562
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.thirdparty_1.1.0.202405270901.jar differ
diff --git a/plugins/fr.lip6.move.coloane.tools.layout_1.1.0.202405270901.jar b/plugins/fr.lip6.move.coloane.tools.layout_1.1.0.202405270901.jar
new file mode 100644
index 000000000..2e66af535
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.tools.layout_1.1.0.202405270901.jar differ
diff --git a/plugins/fr.lip6.move.divine.togal_1.0.0.202407041249.jar b/plugins/fr.lip6.move.divine.togal_1.0.0.202407041249.jar
new file mode 100644
index 000000000..9955bb79a
Binary files /dev/null and b/plugins/fr.lip6.move.divine.togal_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.divine.xtext.ide_1.0.0.202407041249.jar b/plugins/fr.lip6.move.divine.xtext.ide_1.0.0.202407041249.jar
new file mode 100644
index 000000000..40193b2de
Binary files /dev/null and b/plugins/fr.lip6.move.divine.xtext.ide_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.divine.xtext.ui_1.0.0.202407041249.jar b/plugins/fr.lip6.move.divine.xtext.ui_1.0.0.202407041249.jar
new file mode 100644
index 000000000..7889b496e
Binary files /dev/null and b/plugins/fr.lip6.move.divine.xtext.ui_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.divine.xtext_1.0.0.202407041249.jar b/plugins/fr.lip6.move.divine.xtext_1.0.0.202407041249.jar
new file mode 100644
index 000000000..7b81f6622
Binary files /dev/null and b/plugins/fr.lip6.move.divine.xtext_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202407041249.jar
new file mode 100644
index 000000000..13eb391fc
Binary files /dev/null and b/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.cegar.ui_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.cegar.ui_1.0.0.202407041249.jar
new file mode 100644
index 000000000..b699a7532
Binary files /dev/null and b/plugins/fr.lip6.move.gal.cegar.ui_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.cegar_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.cegar_1.0.0.202407041249.jar
new file mode 100644
index 000000000..dea8335da
Binary files /dev/null and b/plugins/fr.lip6.move.gal.cegar_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.examples_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.examples_1.0.0.202407041249.jar
new file mode 100644
index 000000000..e90f4f9fe
Binary files /dev/null and b/plugins/fr.lip6.move.gal.examples_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.gal2pins_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.gal2pins_1.0.0.202407041249.jar
new file mode 100644
index 000000000..4cf077ae3
Binary files /dev/null and b/plugins/fr.lip6.move.gal.gal2pins_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.gal2smt_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.gal2smt_1.0.0.202407041249.jar
new file mode 100644
index 000000000..7175aeedd
Binary files /dev/null and b/plugins/fr.lip6.move.gal.gal2smt_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.ide_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.ide_1.0.0.202407041249.jar
new file mode 100644
index 000000000..a4a265dcc
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ide_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202407041249.jar
new file mode 100644
index 000000000..fb8d0ea71
Binary files /dev/null and b/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.itstools.launch_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.itstools.launch_1.0.0.202407041249.jar
new file mode 100644
index 000000000..28dc1d1eb
Binary files /dev/null and b/plugins/fr.lip6.move.gal.itstools.launch_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.itstools.options_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.itstools.options_1.0.0.202407041249.jar
new file mode 100644
index 000000000..0ec351eea
Binary files /dev/null and b/plugins/fr.lip6.move.gal.itstools.options_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.itstools.preference_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.itstools.preference_1.0.0.202407041249.jar
new file mode 100644
index 000000000..7eec15eb7
Binary files /dev/null and b/plugins/fr.lip6.move.gal.itstools.preference_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.logic.saxparse_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.logic.saxparse_1.0.0.202407041249.jar
new file mode 100644
index 000000000..b948d0cc3
Binary files /dev/null and b/plugins/fr.lip6.move.gal.logic.saxparse_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.logic_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.logic_1.0.0.202407041249.jar
new file mode 100644
index 000000000..2f5412e98
Binary files /dev/null and b/plugins/fr.lip6.move.gal.logic_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202407041249.jar
new file mode 100644
index 000000000..bb4601187
Binary files /dev/null and b/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.louvain_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.louvain_1.0.0.202407041249.jar
new file mode 100644
index 000000000..c60aecf29
Binary files /dev/null and b/plugins/fr.lip6.move.gal.louvain_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202407041249.jar
new file mode 100644
index 000000000..8edb83ee3
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.ltsmin.launch_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.ltsmin.launch_1.0.0.202407041249.jar
new file mode 100644
index 000000000..81f608c39
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ltsmin.launch_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.ltsmin.preference_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.ltsmin.preference_1.0.0.202407041249.jar
new file mode 100644
index 000000000..40dc29e76
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ltsmin.preference_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.ltsmin_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.ltsmin_1.0.0.202407041249.jar
new file mode 100644
index 000000000..eca907d23
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ltsmin_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.nupn_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.nupn_1.0.0.202407041249.jar
new file mode 100644
index 000000000..feae12050
Binary files /dev/null and b/plugins/fr.lip6.move.gal.nupn_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.pn2pins_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.pn2pins_1.0.0.202407041249.jar
new file mode 100644
index 000000000..bb5a1fb85
Binary files /dev/null and b/plugins/fr.lip6.move.gal.pn2pins_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.pnml.saxparse_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.pnml.saxparse_1.0.0.202407041249.jar
new file mode 100644
index 000000000..f15313862
Binary files /dev/null and b/plugins/fr.lip6.move.gal.pnml.saxparse_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.pnml.togal.ui_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.pnml.togal.ui_1.0.0.202407041249.jar
new file mode 100644
index 000000000..e1ebf6bf7
Binary files /dev/null and b/plugins/fr.lip6.move.gal.pnml.togal.ui_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.pnml.togal_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.pnml.togal_1.0.0.202407041249.jar
new file mode 100644
index 000000000..3f44c1a6f
Binary files /dev/null and b/plugins/fr.lip6.move.gal.pnml.togal_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.process_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.process_1.0.0.202407041249.jar
new file mode 100644
index 000000000..87d1347a3
Binary files /dev/null and b/plugins/fr.lip6.move.gal.process_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.struct2gal_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.struct2gal_1.0.0.202407041249.jar
new file mode 100644
index 000000000..4b4714294
Binary files /dev/null and b/plugins/fr.lip6.move.gal.struct2gal_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.structural_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.structural_1.0.0.202407041249.jar
new file mode 100644
index 000000000..19c72bf7c
Binary files /dev/null and b/plugins/fr.lip6.move.gal.structural_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal.ui_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal.ui_1.0.0.202407041249.jar
new file mode 100644
index 000000000..ef84cd25b
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ui_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.gal_1.0.0.202407041249.jar b/plugins/fr.lip6.move.gal_1.0.0.202407041249.jar
new file mode 100644
index 000000000..922e73c7a
Binary files /dev/null and b/plugins/fr.lip6.move.gal_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.promela.ide_1.0.0.202407041249.jar b/plugins/fr.lip6.move.promela.ide_1.0.0.202407041249.jar
new file mode 100644
index 000000000..fbba8dfcd
Binary files /dev/null and b/plugins/fr.lip6.move.promela.ide_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.promela.togal_1.0.0.202407041249.jar b/plugins/fr.lip6.move.promela.togal_1.0.0.202407041249.jar
new file mode 100644
index 000000000..d03b06bc9
Binary files /dev/null and b/plugins/fr.lip6.move.promela.togal_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.promela.ui_1.0.0.202407041249.jar b/plugins/fr.lip6.move.promela.ui_1.0.0.202407041249.jar
new file mode 100644
index 000000000..719f11538
Binary files /dev/null and b/plugins/fr.lip6.move.promela.ui_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.promela_1.0.0.202407041249.jar b/plugins/fr.lip6.move.promela_1.0.0.202407041249.jar
new file mode 100644
index 000000000..7b83edb8c
Binary files /dev/null and b/plugins/fr.lip6.move.promela_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.xta.ide_1.0.0.202407041249.jar b/plugins/fr.lip6.move.xta.ide_1.0.0.202407041249.jar
new file mode 100644
index 000000000..73ec3d712
Binary files /dev/null and b/plugins/fr.lip6.move.xta.ide_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.xta.togal_1.0.0.202407041249.jar b/plugins/fr.lip6.move.xta.togal_1.0.0.202407041249.jar
new file mode 100644
index 000000000..b3a1cbf16
Binary files /dev/null and b/plugins/fr.lip6.move.xta.togal_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.xta.ui_1.0.0.202407041249.jar b/plugins/fr.lip6.move.xta.ui_1.0.0.202407041249.jar
new file mode 100644
index 000000000..482e97235
Binary files /dev/null and b/plugins/fr.lip6.move.xta.ui_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.move.xta_1.0.0.202407041249.jar b/plugins/fr.lip6.move.xta_1.0.0.202407041249.jar
new file mode 100644
index 000000000..7024f76bf
Binary files /dev/null and b/plugins/fr.lip6.move.xta_1.0.0.202407041249.jar differ
diff --git a/plugins/fr.lip6.pnml.framework.ptnet_2.2.17.v20240312-152203.jar b/plugins/fr.lip6.pnml.framework.ptnet_2.2.17.v20240312-152203.jar
new file mode 100644
index 000000000..24de6aff5
Binary files /dev/null and b/plugins/fr.lip6.pnml.framework.ptnet_2.2.17.v20240312-152203.jar differ
diff --git a/plugins/fr.lip6.pnml.framework.symmetricnet_2.2.17.v20240312-152203.jar b/plugins/fr.lip6.pnml.framework.symmetricnet_2.2.17.v20240312-152203.jar
new file mode 100644
index 000000000..1fcb51916
Binary files /dev/null and b/plugins/fr.lip6.pnml.framework.symmetricnet_2.2.17.v20240312-152203.jar differ
diff --git a/plugins/fr.lip6.pnml.framework.utils_2.2.17.v20240312-152203.jar b/plugins/fr.lip6.pnml.framework.utils_2.2.17.v20240312-152203.jar
new file mode 100644
index 000000000..c43587f8b
Binary files /dev/null and b/plugins/fr.lip6.pnml.framework.utils_2.2.17.v20240312-152203.jar differ
diff --git a/plugins/fr.lip6.smt.z3.binaries_1.0.0.202407041249.jar b/plugins/fr.lip6.smt.z3.binaries_1.0.0.202407041249.jar
new file mode 100644
index 000000000..e8078dcc1
Binary files /dev/null and b/plugins/fr.lip6.smt.z3.binaries_1.0.0.202407041249.jar differ
diff --git a/plugins/java.picocli_1.0.0.202407041249.jar b/plugins/java.picocli_1.0.0.202407041249.jar
new file mode 100644
index 000000000..1a3c7267b
Binary files /dev/null and b/plugins/java.picocli_1.0.0.202407041249.jar differ
diff --git a/plugins/lip6.smtlib.SMT_1.0.0.202407041249.jar b/plugins/lip6.smtlib.SMT_1.0.0.202407041249.jar
new file mode 100644
index 000000000..a154ca4bf
Binary files /dev/null and b/plugins/lip6.smtlib.SMT_1.0.0.202407041249.jar differ
diff --git a/plugins/lip6.smtlib.plugin.SMTPlugin_1.0.0.202407041249.jar b/plugins/lip6.smtlib.plugin.SMTPlugin_1.0.0.202407041249.jar
new file mode 100644
index 000000000..a350ee4cf
Binary files /dev/null and b/plugins/lip6.smtlib.plugin.SMTPlugin_1.0.0.202407041249.jar differ
diff --git a/plugins/org.antlr.antlr4-runtime_4.13.1.jar b/plugins/org.antlr.antlr4-runtime_4.13.1.jar
new file mode 100644
index 000000000..cff419831
Binary files /dev/null and b/plugins/org.antlr.antlr4-runtime_4.13.1.jar differ
diff --git a/plugins/org.antlr.runtime_3.2.0.v20230929-1400.jar b/plugins/org.antlr.runtime_3.2.0.v20230929-1400.jar
new file mode 100644
index 000000000..104cc9c5d
Binary files /dev/null and b/plugins/org.antlr.runtime_3.2.0.v20230929-1400.jar differ
diff --git a/plugins/org.antlr.runtime_4.7.2.v20221112-0806.jar b/plugins/org.antlr.runtime_4.7.2.v20221112-0806.jar
new file mode 100644
index 000000000..1ad8e8059
Binary files /dev/null and b/plugins/org.antlr.runtime_4.7.2.v20221112-0806.jar differ
diff --git a/plugins/org.apache.james.apache-mime4j-core_0.8.7.jar b/plugins/org.apache.james.apache-mime4j-core_0.8.7.jar
new file mode 100644
index 000000000..dfee60052
Binary files /dev/null and b/plugins/org.apache.james.apache-mime4j-core_0.8.7.jar differ
diff --git a/plugins/org.apache.ws.commons.axiom.axiom-api_1.3.0.jar b/plugins/org.apache.ws.commons.axiom.axiom-api_1.3.0.jar
new file mode 100644
index 000000000..2cb50d466
Binary files /dev/null and b/plugins/org.apache.ws.commons.axiom.axiom-api_1.3.0.jar differ
diff --git a/plugins/org.apache.ws.commons.axiom.axiom-dom_1.3.0.jar b/plugins/org.apache.ws.commons.axiom.axiom-dom_1.3.0.jar
new file mode 100644
index 000000000..e7bbc35f0
Binary files /dev/null and b/plugins/org.apache.ws.commons.axiom.axiom-dom_1.3.0.jar differ
diff --git a/plugins/org.apache.ws.commons.axiom.axiom-impl_1.3.0.jar b/plugins/org.apache.ws.commons.axiom.axiom-impl_1.3.0.jar
new file mode 100644
index 000000000..c7543eced
Binary files /dev/null and b/plugins/org.apache.ws.commons.axiom.axiom-impl_1.3.0.jar differ
diff --git a/plugins/org.eclipse.ocl.ecore_3.19.0.v20231129-1236.jar b/plugins/org.eclipse.ocl.ecore_3.19.0.v20231129-1236.jar
new file mode 100644
index 000000000..03f690a34
Binary files /dev/null and b/plugins/org.eclipse.ocl.ecore_3.19.0.v20231129-1236.jar differ
diff --git a/plugins/org.logicng_1.0.0.202407041249.jar b/plugins/org.logicng_1.0.0.202407041249.jar
new file mode 100644
index 000000000..0fb4ec938
Binary files /dev/null and b/plugins/org.logicng_1.0.0.202407041249.jar differ
diff --git a/plugins/wrapped.com.thaiopensource.jing_20091111.0.0.jar b/plugins/wrapped.com.thaiopensource.jing_20091111.0.0.jar
new file mode 100644
index 000000000..a36f763a1
Binary files /dev/null and b/plugins/wrapped.com.thaiopensource.jing_20091111.0.0.jar differ