From 7b3f76be145cd5ac1a9e7af020d3a9a8d3de39c0 Mon Sep 17 00:00:00 2001 From: Jonas Date: Tue, 29 Mar 2022 11:10:12 +0200 Subject: [PATCH] Add correct line breaks --- README.md | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/README.md b/README.md index 2500358d..5b3c630c 100644 --- a/README.md +++ b/README.md @@ -13,11 +13,11 @@ Installation Instructions: We recommend using carbon through the [VS Code plugin](https://marketplace.visualstudio.com/items?itemName=viper-admin.viper). Alternatively, one can compile carbon from source with the following steps: * Install Z3 and Boogie and set the environment variables `Z3_EXE` and `BOOGIE_EXE` correspondingly (see wiki above) -* Clone this repository *recursively* by running: +* Clone this repository *recursively* by running: `git clone --recursive https://github.com/viperproject/carbon` - * Compile and run with: -`sbt "run [options] "` - * Alternatively, for a faster startup without compilation each time, build a `.jar` file: - `sbt assembly` - And then run with: - `java -jar ./target/scala-*/carbon.jar [options] ` + * Compile and run with: + `sbt "run [options] "` + * Alternatively, for a faster startup without compilation each time, build a `.jar` file: + `sbt assembly` + And then run with: + `java -jar ./target/scala-*/carbon.jar [options] `