Update documentation for new sbt commands

Author: felixmulder

docs/css/main.scss

@@ -160,14 +160,19 @@ ul.post-list {
     }
 }
 
-pre, code {
+pre, code, code.hljs {
     padding: 0;
     border: 0;
     border-radius: 3px;
     background-color: $grey;
     font-family: $code-font-family;
 }
 
+pre {
+    padding: 0.5em;
+    background-color: $grey !important;
+}
+
 body {
     font: 400 16px/1.5 "Helvetica Neue", Helvetica, Arial, sans-serif;
     color: #111;

docs/docs/contributing/getting-started.md

@@ -22,21 +22,48 @@ Requirements
 Make sure that you are using Java 8 or later, the output of `java -version`
 should contain `1.8`.
 
-Compiling and running code
---------------------------
+Compiling and Running
+---------------------
+Start by cloning the repository:
+
+```none
+$ git clone https://github.com/lampepfl/dotty.git
+$ cd dotty
+```
+
+Dotty provides a standard sbt build: compiling, running and starting a repl can
+all be done from within sbt using
+
+```none
+$ sbt
+> dotc tests/pos/HelloWorld.scala
+> run HelloWorld
+hello world
+```
+
+there is also a bash script that can be used in the same way:
+
 ```bash
-git clone https://github.com/lampepfl/dotty.git
-cd dotty
-# Clone dotty-compatible stdlib. Needed for running the test suite.
-git clone -b dotty-library https://github.com/DarkDimius/scala.git scala-scala
 # Compile code using Dotty
 ./bin/dotc tests/pos/HelloWorld.scala
 # Run it with the proper classpath
 ./bin/dotr HelloWorld
 ```
 
+
 Starting a REPL
 ---------------
-```bash
-./bin/dotr
+```none
+$ sbt
+> repl
+Welcome to Scala.next (pre-alpha)  (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_101).
+Type in expressions to have them evaluated.
+Type :help for more information.
+scala>
+```
+
+or via bash:
+
+```none
+$ ./bin/dotr
 ```

docs/docs/contributing/workflow.md

@@ -7,17 +7,27 @@ Workflow
 ========
 This document details common workflow patterns when working with Dotty.
 
+## Cloning and building ##
+
+```bash
+# Start by cloning the repository:
+git clone https://github.com/lampepfl/dotty.git
+cd dotty
+# Clone dotty-compatible stdlib. Needed for running the test suite.
+git clone -b dotty-library https://github.com/DarkDimius/scala.git scala-scala
+```
+
 ## Compiling files with dotc ##
 
 From sbt:
 
-```bash
-> run <OPTIONS> <FILE>
+```none
+> dotc <OPTIONS> <FILE>
 ```
 
 From terminal:
 
-```bash
+```none
 $ ./bin/dotc <OPTIONS> <FILE>
 ```
 
@@ -39,29 +49,29 @@ Additional logging information can be obtained by changes some `noPrinter` to
 
 ## Running tests ##
 
-```bash
+```none
 $ sbt
 > partest --show-diff --verbose
 ```
 
 ## Running single tests ##
 To test a specific test tests/x/y.scala (for example tests/pos/t210.scala):
 
-```bash
+```none
 > partest-only-no-bootstrap --show-diff --verbose tests/partest-generated/x/y.scala
 ```
 
-Currently this will re-run some tests and do some preprocessing because of the
-way partest has been set up.
+Currently this will re-run some unit tests and do some preprocessing because of
+the way partest has been set up.
 
 ## Inspecting Trees with Type Stealer ##
 
 There is no power mode for the REPL yet, but you can inspect types with the
 type stealer:
 
-```bash
-$ ./bin/dotr
-scala> import test.DottyTypeStealer._; import dotty.tools.dotc.core._; import Contexts._,Types._
+```none
+> repl
+scala> import dotty.tools.DottyTypeStealer._; import dotty.tools.dotc.core._; import Contexts._,Types._
 ```
 
 Now, you can define types and access their representation. For example:

docs/docs/index.md

@@ -13,8 +13,8 @@ Index
 -----
 * Usage
     - [Migrating from Scala 2](usage/migrating.md)
-    - [Using Dotty with cbt](usage/cbt-projects.md)
-    - [Using Dotty with sbt](usage/sbt-projects.md)
+    - [Dotty projects with cbt](usage/cbt-projects.md)
+    - [Dotty projects with sbt](usage/sbt-projects.md)
 * Contributing
     - [Getting Started](contributing/getting-started.md) details on how to run
       tests, use the cli scripts