diff --git a/README.md b/README.md
index 3cd67051f6e085fb60972b1c9aaa83feba56f996..7ed60ece942de2d079606bf48475d137437fa41a 100644
--- a/README.md
+++ b/README.md
@@ -26,14 +26,48 @@ To build the Prolog binaries you require a [SICStus 4](https://sicstus.sics.se/)
 
 ## Setting up the development environment
 
-- Clone the repository (https://github.com/hhu-stups/prob-rodinplugin)
+### Requirements
 
-- We use gradle to manage the dependencies to the libraries, thus you will need gradle installed on your computer.
-  (see https://gradle.org/)
+* Java 11 or later
+* Maven 3 or later (Maven 3.9 recommended)
+* Gradle (will be downloaded automatically by the Gradle wrapper)
 
-- In the workspace directory run the completeInstall task (`gradle completeInstall`), alternatively you can also run the downloadCli and collectDependencies tasks (`gradle downloadCli collectDependencies`). This will download the latest nightly build of the Prolog binary and the required Java libraries (such as the parser libraries).
+### Building without Eclipse
 
-- Install Eclipse for RCP Development
+After cloning the repository, run these commands in the repository root:
+
+```sh
+$ ./gradlew prepareMaven
+$ mvn -f de.prob.parent/pom.xml install
+```
+
+This will build the plugin into a local Eclipse plugin repository.
+To test your build of the plugin, you need to configure this repository in Rodin:
+
+* Open the Rodin preferences and go to Install/Update > Available Software Sites
+* Click on "Add..."
+* Enter "ProB local" as the name
+* Click on "Local..." and select the directory .../prob-rodinplugin/de.prob.repository/target/repository
+* Click on "Add"
+* Make sure that the "ProB local" repository is checked
+
+Once the repository is configured, use Help > Check for Updates to update the ProB plugin to your locally built version.
+
+Note that if you have both "ProB nightly" and "ProB local" enabled, Rodin will prefer whichever one was built more recently.
+To ensure that only your local build is used, you can temporarily uncheck "ProB nightly".
+
+To revert to the official build of the plugin, uncheck the "ProB local" plugin repository, re-check either "ProB" or "ProB nightly", then use Help > Check for Updates again.
+(If this doesn't work, you might need to completely uninstall and reinstall the ProB plugin.)
+
+### Building with Eclipse
+
+This requires Eclipse for RCP Development.
+
+After cloning the repository, run this command in the repository root
+
+```sh
+$ ./gradlew prepareMaven
+```
 
 - Import the projects into Eclipse. At this point Eclipse will complain about errors, the reason is that the target platform (i.e., Rodin) hasn't been setup yet).