Download the Latest Developer Package

To update to the latest Rodin Platform, we need the latest developer package

• Download the latest developer package from the Core Rodin Platform on SourceForge. This is the zip file with the name starting with org.rodinp.dev from the latest Rodin Platform folder (e.g., 3.7). Place the zip file at the top level folder.

• Unzip the archive into the org.rodin.dev folder (Note the zip does not contain a folder).

rm org.rodin.dev/*
unzip org.rodinp.dev-x.x.x-xxxxxxxxx.zip -d org.rodin.dev