Developer-Installation.md

@@ -3,7 +3,13 @@
 ----
 
 # Docker Development Install
+## Pre-requisites
+* If you haven't acquired a Mosek license yet, see [Mosek Requirement](Install#common-requirements).
+* If you haven't installed Docker yet, see [Docker](docker).
 
+## Setting up the container 
+* Please follow the instructions in the [User Installation Guide](User-Installation#setting-up-a-container)on how to set up a docker container for PDT-SPACE on either Linux or Windows. 
+* Once you run the docker image, you can find the source code of PDT-SPACE under ``/src/pdt-space``. You can start developing in this directory. The build system is under ``/src/pdt-space/Build``. 
 
 # Native Development Install (Linux Only)
 ## Pre-requisites