Download Latest Version ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Email in envelope

Get an email when there's a new version of RODIN

Home / Core_Rodin_Platform / 3.3-patches
Name Modified Size InfoDownloads / Week
Parent folder
README.txt 2018-01-22 745 Bytes
0
org.eventb.ui.bug771_1.1.0.zip 2018-01-22 1.4 MB
0
org.eventb.ui.bug771_1.0.0.zip 2017-11-13 1.4 MB
0
Totals: 3 Items   2.9 MB 0 
Patch for Bug 771 on macOs High Sierra
--------------------------------------

How to install
--------------

Download the file named org.eventb.ui.bug771_1.1.0.zip somewhere on your
computer.

Start the Rodin Platform.

Click Help > Install New Software...

In the Install window, click Add... in the upper right corner, then Archive...
and select the downloaded zip file, then click OK.

You are back to the Install window.  Untick the boxed for "Group items by
category" and "Contact all update sites during install to find required
software".

Select the feature patch named "Bug771" and click Next> twice, accept the
license agreements and type Finish.

In the "Security Warning" pop-up, click OK, then restart the platform when
asked for.
Source: README.txt, updated 2018-01-22