Improve Eclipse/IDEA pages

Author: biboudis

docs/docs/contributing/backend.md

@@ -1,6 +1,6 @@
 ---
 layout: doc-page
-title: Working with the backend
+title: Working with the Backend
 ---
 
 The compiler backend is based on a fork of the Scala 2.11 `GenBCode` backend and

docs/docs/contributing/eclipse.md

@@ -10,7 +10,8 @@ You can setup Eclipse by using _[Scala IDE for Eclipse](http://scala-ide.org/)_
 your Eclipse distribution of choice and enable the Scala IDE from the Eclipse Marketplace, separately.
 
 Assuming you have cloned dotty's repository from Github (and run `sbt managedSources` as described in 
-[Getting Started](getting-started.md)) you can now proceed to set up Dotty with Eclipse.
+[Getting Started](getting-started.md)) you can now proceed to set up Dotty with Eclipse. In addition to the previous
+command you need to run `sbt eclipse` to generate the project structure for Eclipse.
 
 - Note: It is recommended to change the default output folder (in `Properties > java
    build path > Source`) to `dotty/classes` instead of `dotty/bin` because

docs/docs/contributing/intellij-idea.md

@@ -38,9 +38,13 @@ For example, to run a test you can write with or without flags:
 dotc tests/pos/Arrays.scala
 ```
 
-If you are interested in debugging the compiler you can enable the necessary agent on the JVM and this
-is done in two steps. For the first step you need to pass the 
-necessary flag to the running VM. For convenience, this is already in comments on the `Build.scala` file under project. 
+If you are interested in debugging the compiler you can enable the necessary agent on the JVM.
+This is done in two steps. For the first step you need to pass the 
+necessary flag to the running VM. For convenience, this is already in comments on the `Build.scala` file under the
+`project` directory. The string you need to uncomment is the following:
+
+> `"-agentlib:jdwp=transport=dt_socket,server=y,suspend=y,address=5005"`
+
 Uncomment the line and reload the project file with the `reload` command on sbt. 
 Now, each time you run `dotc` the compiler listens at the designated address and waits the agent to connect.
 For, the second step you need to create a configuration for Debug through IDEA: 

docs/docs/index.md

@@ -15,27 +15,24 @@ Contents
 -------
 
 * Usage
-    - [Migrating from Scala 2](usage/migrating.md)
-    - [Dotty projects with cbt](usage/cbt-projects.md)
-    - [Dotty projects with sbt](usage/sbt-projects.md)
+    - [Migrating from Scala 2](usage/migrating.md): migration information
+    - [Dotty projects with cbt](usage/cbt-projects.md): using cbt
+    - [Dotty projects with sbt](usage/sbt-projects.md): using sbt
 * Contributing
-    - [Getting Started](contributing/getting-started.md) details on how to run
-      tests, use the cli scripts
-    - [Workflow](contributing/workflow.md) common dev patterns and hints
-    - [Eclipse](contributing/eclipse.md) setting up dev environment
-    - [Intellij-IDEA](contributing/intellij-idea.md) setting up dev environment
+    - [Getting Started](contributing/getting-started.md): details on how to run tests, use the cli scripts
+    - [Workflow](contributing/workflow.md): common dev patterns and hints
+    - [Eclipse](contributing/eclipse.md): setting up dev environment
+    - [Intellij-IDEA](contributing/intellij-idea.md): setting up dev environment
+    - [Working with the Backend](contributing/backend.md): working with the scala backend 
 * Internals document the compiler internals
-    - [Syntax Summary](internals/syntax.md)
-    - [Project Structure](internals/overall-structure.md)
-      of the project
-    - [Backend](internals/backend.md) details on the bytecode backend
-    - [Contexts](internals/contexts.md) details the use of `Context` in the
-      compiler
-    - [Dotty vs Scala2](internals/dotc-scalac.md)
-    - [Higher Kinded Type Scheme](internals/higher-kinded-v2.md)
-      scheme
-    - [Periods](internals/periods.md)
-    - [Type System](internals/type-system.md)
+    - [Syntax Summary](internals/syntax.md): brief analysis of the syntax
+    - [Project Structure](internals/overall-structure.md): of the project
+    - [Backend](internals/backend.md): details on the bytecode backend
+    - [Contexts](internals/contexts.md): details the use of `Context` in the compiler
+    - [Dotty vs Scala 2](internals/dotc-scalac.md): explaining the differences between Scalac and Dotty
+    - [Higher Kinded Type Scheme](internals/higher-kinded-v2.md): scheme
+    - [Periods](internals/periods.md): details on the concepts of runs, phases and periods
+    - [Type System](internals/type-system.md): details on the type system of Dotty
 * Resources
-    - [Talks](resources/talks.md)
+    - [Talks](resources/talks.md): presentations of the various aspects of Dotty