Activity for AIT SADOUNE Idir
-
AIT SADOUNE Idir committed [19e751] on RodinCore
updating the compSite.xml file to generate the Rodin 3.9 update site content
-
Upgrading the Rodin Core update site script
-
Increment version of plugins and features to 3.8
-
Increment version of parent in all pom.xml files to 3.8
-
Port to Eclipse 4.23 (2022-03)
-
Update copyright year in splash image
-
Update the year in all feature.properties files
-
Increment version of org.eventb.core to 3.6
-
Upgrading the script of the Core update site
-
Rodin 3.7 is available
-
Update the Eclipse update site forgot in previous changes
-
Rodin 3.7 RC1 is published
-
Bump org.eventb.parent to 3.7 and Update org.eventb.parent/eclipse.target to Eclipse 4.22
-
removing plugin reference org.eclipse.equinox.ds from org.rodinp.plateforme-feature included plugins
-
Change Java version for org.eventb.pp
-
Change Tycho version to 2.5.0
-
Change construction of ListSelectionDialog
-
Remove tycho-source-feature-plugin
-
Fix warning about duplicated p2 metadata
-
Update Eclipse version
-
Upgrading the script of the Core update site
-
Rodin 3.6 RC1 is published
-
Rodin 3.6 RC1 is published
-
Update Eclipse version
-
Update Copyright year in splash image
-
Clean default update sites
-
Bump org.eventb.parent to 3.6
-
The call newInstance() is replaced by getDeclaredConstructor().newInstance()
-
Update execution environment to JavaSE-11
-
Remove unnecessary @SuppressWarnings labels
-
Update Welcome page
-
Update org.eventb.parent/eclipse.target to Eclipse 4.18
-
Add valueOf call to avoid warnings about deprecated method
-
Update version of org.rodinp.platform
-
Update feature versions
-
Update org.eventb.parent/pom.xml
-
Degrade to Tycho 2.0.0
-
Update Copyright notices in feature properties
-
Increment minor version of plugins
1