From 8c415893100a0d720a68fed60ccb0afefa69d954 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 17 Aug 2019 10:53:04 +0100
Subject: [PATCH] Fixed markdown.

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 9668cb8..1abae0d 100644
--- a/README.md
+++ b/README.md
@@ -40,11 +40,12 @@ foo@bar:~$ ./install --help
 ```
 
 A final step for the installation is:
+
 ```console
 foo@bar:~$ isabelle build -D .
 ```
-This will compile Isabelle_DOF and run the example suite.
 
+This will compile Isabelle/DOF and run the example suite.
 
 ## Usage