From 1ccdb5cdbfed3cb89c604b543c45bbc0a860f193 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 24 Dec 2016 10:11:08 +0000
Subject: [PATCH] Fixed markdown.

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 184815c..6acacf4 100644
--- a/README.md
+++ b/README.md
@@ -12,10 +12,10 @@ for installing the AFP locall. For short:
 * [Download](https://www.isa-afp.org/release/afp-current.tar.gz) the complete AFP
 * Extract the downloaded archive to an directory of your choice
 * Let's assume the extracted archive lives in `/home/isabelle/afp`, now execute:
-  ```
+```
          mkdir -p ~/.isabelle/Isabelle2016-1/etc
          echo "/home/isabelle/afp" >> ~/.isabelle/Isabelle2016-1/etc/components
-  ```
+```
 
 ## How to build
 ```