From d9665816702f697362820ab59cf6bde85871d197 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 23 May 2020 11:43:58 +0100
Subject: [PATCH] Improved markdown.

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

diff --git a/README.md b/README.md
index 707192e..3501b97 100644
--- a/README.md
+++ b/README.md
@@ -11,8 +11,8 @@ submitted (as an update of the Core_DOM entry) at a later stage.
 
 ## How to build
 
-```
-isabelle build -D Core_DOM
+```console
+achim@logicalhacking:~$ isabelle build -D Core_DOM
 ```
 
 ## Authors