diff --git a/README.md b/README.md
index c6f9fc89b476eecd246eae463c20e6921231870a..583826b9cef94faa77f341d9adfa97f44c018eed 100644
--- a/README.md
+++ b/README.md
@@ -13,3 +13,28 @@ The ProB binary and source distributions contain the nauty library (http://cs.an
 
 For availability of commercial support, please contact Formal Mind (http://www.formalmind.com).
 
+# Contributing
+
+## Setting up the development environment
+
+- Clone the repository (http://github.com/bendisposto/prob) 
+  We suggest to fork the project on github (see https://help.github.com/articles/fork-a-repo)
+
+- We use gradle to manage the dependencies to the libraries, so you will need gradle installed on your computer. 
+  (see http://www.gradle.org/)
+
+- Open a shell and cd into the de.prob.releng directory
+
+- Run the downloadCli task (gradle downloadCli). This will download the latest nightly build of the Prolog binary.
+
+- Run the collectDependencies task (gradle collectDependencies). This will download the required libraries (such as apache commons, etc.)
+
+- Install Eclipse (Indigo/Juno) for RCP Development
+
+- Import the projects into Eclipse (note that de.prob.releng is not an Eclipse project, it can be left out). At this point Eclipse will show many errors, the reason is that the Target platform (i.e., Rodin hasn't been setup yet)
+
+- Open the file prob_target.target from the de.prob.core project and click on "Set as Target Platform". Grab a coffee. 
+
+
+
+