User Activity

  • Committed [19e751] on RodinCore

    updating the compSite.xml file to generate the Rodin 3.9 update site content

  • Committed [d0f2b7] on RodinCore

    Upgrading the Rodin Core update site script

  • Committed [ebd36a] on RodinCore

    Increment version of plugins and features to 3.8

  • Committed [c09fa5] on RodinCore

    Increment version of parent in all pom.xml files to 3.8

  • Committed [1ced51] on RodinCore

    Port to Eclipse 4.23 (2022-03)

  • Committed [671350] on RodinCore

    Update copyright year in splash image

  • Committed [52cc66] on RodinCore

    Update the year in all feature.properties files

  • Committed [f51a4e] on RodinCore

    Increment version of org.eventb.core to 3.6

View All

Personal Data

Username:
idiras321
Joined:
2017-03-07 08:12:10

Projects

This is a list of open source software projects that AIT SADOUNE Idir is associated with:

Personal Tools