From c3dcb1ba2a07e0604f981f059f0e03058e472667 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 21 Jul 2019 17:05:27 +0100
Subject: [PATCH] Improved markdown.

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

diff --git a/README.md b/README.md
index c16e2f1..f7804f2 100644
--- a/README.md
+++ b/README.md
@@ -39,9 +39,9 @@ The installer will
   the file ``Isabelle2019/src/Pure/Thy/thy_output.ML`` in the Isabelle
   distribution with the file ``src/patches/thy_output.ML`` from the  
   Isabelle/DOF distribution:        
-        ```console
+
         cp patches/thy_output.ML `isabelle getenv -b ISABELLE_HOME`/src/Pure/Thy/
-        ```
+
 * install required entries from the [AFP](https://www.isa-afp.org). If this
   installations fails, you need to manually install the AFP for Isabelle 2019 as follows:
   Download the [AFP for Isabelle 2019](https://www.isa-afp.org/release/afp-2019-06-17.tar.gz)
@@ -50,9 +50,9 @@ The installer will
   the AFP archive into the directory to `/home/myself/afp`, you should
   run the following command to make the AFP session `ROOTS` available to
   Isabelle:
-        ```console
+
         echo "/home/myself/afp/thys" >> ~/.isabelle/Isabelle2019/ROOTS
-        ```
+
 * install the Isabelle/DOF-plugin into the Isabelle user directory 
   (the exact location depends on the Isabelle version). 
 * check that the AFP has been installed successfully.