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

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

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