diff --git a/artifacts.jar b/artifacts.jar
new file mode 100644
index 0000000000..e928ee08ed
Binary files /dev/null and b/artifacts.jar differ
diff --git a/artifacts.xml.xz b/artifacts.xml.xz
new file mode 100644
index 0000000000..6070ffb14f
Binary files /dev/null and b/artifacts.xml.xz differ
diff --git a/content.jar b/content.jar
new file mode 100644
index 0000000000..66f70c4073
Binary files /dev/null and b/content.jar differ
diff --git a/content.xml.xz b/content.xml.xz
new file mode 100644
index 0000000000..e58a259c94
Binary files /dev/null and b/content.xml.xz differ
diff --git a/features/fr.lip6.move.gal.cegar.feature_1.0.0.202404011534.jar b/features/fr.lip6.move.gal.cegar.feature_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..16e627c612
Binary files /dev/null and b/features/fr.lip6.move.gal.cegar.feature_1.0.0.202404011534.jar differ
diff --git a/features/fr.lip6.move.gal.feature.coloane_1.0.0.202404011534.jar b/features/fr.lip6.move.gal.feature.coloane_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..f6aac1c552
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.coloane_1.0.0.202404011534.jar differ
diff --git a/features/fr.lip6.move.gal.feature.core_1.0.0.202404011534.jar b/features/fr.lip6.move.gal.feature.core_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..2ec427fc47
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.core_1.0.0.202404011534.jar differ
diff --git a/features/fr.lip6.move.gal.feature.dve_1.0.0.202404011534.jar b/features/fr.lip6.move.gal.feature.dve_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..bf8667327f
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.dve_1.0.0.202404011534.jar differ
diff --git a/features/fr.lip6.move.gal.feature.examples_1.0.0.202404011534.jar b/features/fr.lip6.move.gal.feature.examples_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..cb99be1fad
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.examples_1.0.0.202404011534.jar differ
diff --git a/features/fr.lip6.move.gal.feature.itstools_1.0.0.202404011534.jar b/features/fr.lip6.move.gal.feature.itstools_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..e461ff5c88
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.itstools_1.0.0.202404011534.jar differ
diff --git a/features/fr.lip6.move.gal.feature.pnmcc_1.0.0.202404011534.jar b/features/fr.lip6.move.gal.feature.pnmcc_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..b03652948a
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.pnmcc_1.0.0.202404011534.jar differ
diff --git a/features/fr.lip6.move.gal.feature.pnml_1.0.0.202404011534.jar b/features/fr.lip6.move.gal.feature.pnml_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..d3b6e27aae
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.pnml_1.0.0.202404011534.jar differ
diff --git a/features/fr.lip6.move.gal.feature.promela_1.0.0.202404011534.jar b/features/fr.lip6.move.gal.feature.promela_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..5f0b76559f
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.promela_1.0.0.202404011534.jar differ
diff --git a/features/fr.lip6.move.gal.feature.sdk_1.0.0.202404011534.jar b/features/fr.lip6.move.gal.feature.sdk_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..2b63273e65
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.sdk_1.0.0.202404011534.jar differ
diff --git a/features/fr.lip6.move.gal.feature.xta_1.0.0.202404011534.jar b/features/fr.lip6.move.gal.feature.xta_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..dda05d4e48
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.xta_1.0.0.202404011534.jar differ
diff --git a/features/fr.lip6.move.gal.gal2smt.feature_1.0.0.202404011534.jar b/features/fr.lip6.move.gal.gal2smt.feature_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..4ccd803ab4
Binary files /dev/null and b/features/fr.lip6.move.gal.gal2smt.feature_1.0.0.202404011534.jar differ
diff --git a/features/fr.lip6.move.gal.ltsmin.feature_1.0.0.202404011534.jar b/features/fr.lip6.move.gal.ltsmin.feature_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..ccc49d34b5
Binary files /dev/null and b/features/fr.lip6.move.gal.ltsmin.feature_1.0.0.202404011534.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 0000000000..ffcf68165b
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 0000000000..209d9f3a1d
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 0000000000..42edd8f2b2
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 0000000000..207221e9f5
--- /dev/null
+++ b/index.html
@@ -0,0 +1,43 @@
+<h1> Download page for ITS tools command line</h1>
+
+<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 11 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/p2.index b/p2.index
new file mode 100644
index 0000000000..2916c5918c
--- /dev/null
+++ b/p2.index
@@ -0,0 +1,4 @@
+#Mon Apr 01 15:36:54 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.202404011534.jar b/plugins/fr.lip6.ltl.jhoaf_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..73e991fa4f
Binary files /dev/null and b/plugins/fr.lip6.ltl.jhoaf_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202404011534.jar b/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..fe1a0d7da5
Binary files /dev/null and b/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.ltl.tgba_1.0.0.202404011534.jar b/plugins/fr.lip6.ltl.tgba_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..d76814ac62
Binary files /dev/null and b/plugins/fr.lip6.ltl.tgba_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.coloane.core_1.1.0.202312121620.jar b/plugins/fr.lip6.move.coloane.core_1.1.0.202312121620.jar
new file mode 100644
index 0000000000..c4f5eef38b
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.core_1.1.0.202312121620.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.exportGAL_1.0.0.202404011534.jar b/plugins/fr.lip6.move.coloane.extensions.exportGAL_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..fcb1f744a1
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.exportGAL_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportCAMI_1.1.0.202312121620.jar b/plugins/fr.lip6.move.coloane.extensions.importExportCAMI_1.1.0.202312121620.jar
new file mode 100644
index 0000000000..763b5f1236
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importExportCAMI_1.1.0.202312121620.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportITS_1.0.0.202404011534.jar b/plugins/fr.lip6.move.coloane.extensions.importExportITS_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..73c31705d8
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importExportITS_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportROMEO_1.0.0.202404011534.jar b/plugins/fr.lip6.move.coloane.extensions.importExportROMEO_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..6decec5a91
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importExportROMEO_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportTINA_1.0.0.202404011534.jar b/plugins/fr.lip6.move.coloane.extensions.importExportTINA_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..eaf89971c7
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importExportTINA_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importFromPROD_1.0.0.202404011534.jar b/plugins/fr.lip6.move.coloane.extensions.importFromPROD_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..ce11207ffc
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importFromPROD_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importFromSGROMEO_1.0.0.202404011534.jar b/plugins/fr.lip6.move.coloane.extensions.importFromSGROMEO_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..b700367b2e
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importFromSGROMEO_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.coloane.fragments.formalisms.its_1.0.0.202404011534.jar b/plugins/fr.lip6.move.coloane.fragments.formalisms.its_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..e448aefa04
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.fragments.formalisms.its_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.coloane.fragments.formalisms.tpn_1.0.0.202404011534.jar b/plugins/fr.lip6.move.coloane.fragments.formalisms.tpn_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..c2a10d693e
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.fragments.formalisms.tpn_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.coloane.interfaces_1.1.0.202312121620.jar b/plugins/fr.lip6.move.coloane.interfaces_1.1.0.202312121620.jar
new file mode 100644
index 0000000000..b03d0655fe
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.interfaces_1.1.0.202312121620.jar differ
diff --git a/plugins/fr.lip6.move.coloane.projects.expressions_1.0.0.202404011534.jar b/plugins/fr.lip6.move.coloane.projects.expressions_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..55cb37ffae
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.projects.expressions_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.coloane.projects.its_1.0.0.202404011534.jar b/plugins/fr.lip6.move.coloane.projects.its_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..d70dec193b
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.projects.its_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.coloane.thirdparty_1.1.0.202312121620.jar b/plugins/fr.lip6.move.coloane.thirdparty_1.1.0.202312121620.jar
new file mode 100644
index 0000000000..aa8439349b
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.thirdparty_1.1.0.202312121620.jar differ
diff --git a/plugins/fr.lip6.move.coloane.tools.layout_1.1.0.202312121620.jar b/plugins/fr.lip6.move.coloane.tools.layout_1.1.0.202312121620.jar
new file mode 100644
index 0000000000..b471898c71
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.tools.layout_1.1.0.202312121620.jar differ
diff --git a/plugins/fr.lip6.move.divine.togal_1.0.0.202404011534.jar b/plugins/fr.lip6.move.divine.togal_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..19c4e3ed40
Binary files /dev/null and b/plugins/fr.lip6.move.divine.togal_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.divine.xtext.ide_1.0.0.202404011534.jar b/plugins/fr.lip6.move.divine.xtext.ide_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..abeb71e6d1
Binary files /dev/null and b/plugins/fr.lip6.move.divine.xtext.ide_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.divine.xtext.ui_1.0.0.202404011534.jar b/plugins/fr.lip6.move.divine.xtext.ui_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..1c97a7dea8
Binary files /dev/null and b/plugins/fr.lip6.move.divine.xtext.ui_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.divine.xtext_1.0.0.202404011534.jar b/plugins/fr.lip6.move.divine.xtext_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..68d326f59f
Binary files /dev/null and b/plugins/fr.lip6.move.divine.xtext_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..04dcd41b76
Binary files /dev/null and b/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.cegar.ui_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.cegar.ui_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..3af7c1037f
Binary files /dev/null and b/plugins/fr.lip6.move.gal.cegar.ui_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.cegar_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.cegar_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..2300d52172
Binary files /dev/null and b/plugins/fr.lip6.move.gal.cegar_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.examples_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.examples_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..1fd1739c3f
Binary files /dev/null and b/plugins/fr.lip6.move.gal.examples_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.gal2pins_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.gal2pins_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..19280750c9
Binary files /dev/null and b/plugins/fr.lip6.move.gal.gal2pins_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.gal2smt_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.gal2smt_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..5e875e1a09
Binary files /dev/null and b/plugins/fr.lip6.move.gal.gal2smt_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.ide_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.ide_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..557464ffeb
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ide_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..0755a8c00c
Binary files /dev/null and b/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.itstools.launch_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.itstools.launch_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..eec53acf43
Binary files /dev/null and b/plugins/fr.lip6.move.gal.itstools.launch_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.itstools.options_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.itstools.options_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..050ce3c0dc
Binary files /dev/null and b/plugins/fr.lip6.move.gal.itstools.options_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.itstools.preference_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.itstools.preference_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..a2d221802a
Binary files /dev/null and b/plugins/fr.lip6.move.gal.itstools.preference_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.logic.saxparse_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.logic.saxparse_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..27f81e6d22
Binary files /dev/null and b/plugins/fr.lip6.move.gal.logic.saxparse_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.logic_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.logic_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..1f462c517d
Binary files /dev/null and b/plugins/fr.lip6.move.gal.logic_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..2b95898c63
Binary files /dev/null and b/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.louvain_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.louvain_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..23d41189cd
Binary files /dev/null and b/plugins/fr.lip6.move.gal.louvain_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..ed19da966d
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.ltsmin.launch_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.ltsmin.launch_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..1e054e43aa
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ltsmin.launch_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.ltsmin.preference_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.ltsmin.preference_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..40b3c8c5fe
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ltsmin.preference_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.ltsmin_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.ltsmin_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..8ddbbd3f79
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ltsmin_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.nupn_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.nupn_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..c4465fac8e
Binary files /dev/null and b/plugins/fr.lip6.move.gal.nupn_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.pn2pins_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.pn2pins_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..e313bd5f89
Binary files /dev/null and b/plugins/fr.lip6.move.gal.pn2pins_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.pnml.saxparse_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.pnml.saxparse_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..676342d368
Binary files /dev/null and b/plugins/fr.lip6.move.gal.pnml.saxparse_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.pnml.togal.ui_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.pnml.togal.ui_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..d11195cf09
Binary files /dev/null and b/plugins/fr.lip6.move.gal.pnml.togal.ui_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.pnml.togal_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.pnml.togal_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..b2343460d7
Binary files /dev/null and b/plugins/fr.lip6.move.gal.pnml.togal_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.process_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.process_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..0704701d2a
Binary files /dev/null and b/plugins/fr.lip6.move.gal.process_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.struct2gal_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.struct2gal_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..058a8ea3b9
Binary files /dev/null and b/plugins/fr.lip6.move.gal.struct2gal_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.structural_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.structural_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..60c9f78f3e
Binary files /dev/null and b/plugins/fr.lip6.move.gal.structural_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal.ui_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal.ui_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..4ab7521510
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ui_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.gal_1.0.0.202404011534.jar b/plugins/fr.lip6.move.gal_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..c0b1dab786
Binary files /dev/null and b/plugins/fr.lip6.move.gal_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.promela.ide_1.0.0.202404011534.jar b/plugins/fr.lip6.move.promela.ide_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..3f53e93f78
Binary files /dev/null and b/plugins/fr.lip6.move.promela.ide_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.promela.togal_1.0.0.202404011534.jar b/plugins/fr.lip6.move.promela.togal_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..4f213765c6
Binary files /dev/null and b/plugins/fr.lip6.move.promela.togal_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.promela.ui_1.0.0.202404011534.jar b/plugins/fr.lip6.move.promela.ui_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..f5f3d609c0
Binary files /dev/null and b/plugins/fr.lip6.move.promela.ui_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.promela_1.0.0.202404011534.jar b/plugins/fr.lip6.move.promela_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..233f757e3b
Binary files /dev/null and b/plugins/fr.lip6.move.promela_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.xta.ide_1.0.0.202404011534.jar b/plugins/fr.lip6.move.xta.ide_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..cea49bc5d4
Binary files /dev/null and b/plugins/fr.lip6.move.xta.ide_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.xta.togal_1.0.0.202404011534.jar b/plugins/fr.lip6.move.xta.togal_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..e6c06bc0e8
Binary files /dev/null and b/plugins/fr.lip6.move.xta.togal_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.xta.ui_1.0.0.202404011534.jar b/plugins/fr.lip6.move.xta.ui_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..0fac773293
Binary files /dev/null and b/plugins/fr.lip6.move.xta.ui_1.0.0.202404011534.jar differ
diff --git a/plugins/fr.lip6.move.xta_1.0.0.202404011534.jar b/plugins/fr.lip6.move.xta_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..8f6885a341
Binary files /dev/null and b/plugins/fr.lip6.move.xta_1.0.0.202404011534.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 0000000000..24de6aff51
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 0000000000..1fcb519167
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 0000000000..c43587f8b5
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.202404011534.jar b/plugins/fr.lip6.smt.z3.binaries_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..0c3ff7b491
Binary files /dev/null and b/plugins/fr.lip6.smt.z3.binaries_1.0.0.202404011534.jar differ
diff --git a/plugins/lip6.smtlib.SMT_1.0.0.202404011534.jar b/plugins/lip6.smtlib.SMT_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..d6c6242e73
Binary files /dev/null and b/plugins/lip6.smtlib.SMT_1.0.0.202404011534.jar differ
diff --git a/plugins/lip6.smtlib.plugin.SMTPlugin_1.0.0.202404011534.jar b/plugins/lip6.smtlib.plugin.SMTPlugin_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..bd0c5367b4
Binary files /dev/null and b/plugins/lip6.smtlib.plugin.SMTPlugin_1.0.0.202404011534.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 0000000000..cff419831e
Binary files /dev/null and b/plugins/org.antlr.antlr4-runtime_4.13.1.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 0000000000..dfee60052f
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 0000000000..2cb50d4664
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 0000000000..e7bbc35f0a
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 0000000000..c7543eced1
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 0000000000..03f690a344
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.202404011534.jar b/plugins/org.logicng_1.0.0.202404011534.jar
new file mode 100644
index 0000000000..07d1c64979
Binary files /dev/null and b/plugins/org.logicng_1.0.0.202404011534.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 0000000000..a36f763a12
Binary files /dev/null and b/plugins/wrapped.com.thaiopensource.jing_20091111.0.0.jar differ