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