diff --git a/general/ide/README.md b/general/ide/README.md index bb1e1dcbc520cb8af927cc66819f7d70c534d69c..4b131f0cb5b4889ed1f70346cf894f8161acde5a 100644 --- a/general/ide/README.md +++ b/general/ide/README.md @@ -2,12 +2,13 @@ Eclipse Oomph is a tool to simplify and automate the setup of Eclipse developmen [A screencast is available that captures the written instructions below.](https://vimeo.com/190224035) -0. Requires a recent - at the time of writing this is 11 - JDK (Java Development Environment) - OpenJDK is recommended. -1. Install the Oomph Eclipse installer from https://wiki.eclipse.org/Eclipse_Installer +0. Requires a recent - at the time of writing this is 13 - JDK (Java Development Environment) - AdoptOpenJDK is recommended. +1. Install the Oomph Eclipse installer from [https://wiki.eclipse.org/Eclipse_Installer](https://wiki.eclipse.org/Eclipse_Installer) 2. Start the downloaded Oomph installer 3. Switch to "Advanced Mode" by clicking the button in the right upper corner depicted with three horizontal lines 4. Select "Eclipse Platform" on the Product list (expand "Eclipse.org" node) - 1. Choose "2018-12" as the product version at the bottom  + 1. Choose "2019-09" from the Product Version combobox at the bottom  + 1. You can try to use a more recent version of Eclipse, however if you run into troubles during the installation and set-up, choose "2019-09" instead. 5. On the next screen, expand "Github Project" in the tree and select the check-box left to "TLA+" 1. Verify that "TLA+" shows up under "Project" at the bottom table and that the "Master" stream is selected  6. On the next page, select whether to use anonymous Github access (read-only) from the "TLA+ Github Repository" dropdown list 