From fc575a5be532df80b006a35993ada4fbdc7c5487 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 31 Oct 2022 21:33:26 +0000
Subject: [PATCH] Fixed mardown.

---
 README.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/README.md b/README.md
index 207dc853..04e05adc 100644
--- a/README.md
+++ b/README.md
@@ -17,7 +17,6 @@ Isabelle/DOF has three major prerequisites:
   Formal Proofs (AFP)](https://www.isa-afp.org/).  Please install the
   AFP following the instructions given at
   <https://www.isa-afp.org/using.html>. 
-
 * **LaTeX:** Isabelle/DOF requires a modern LaTeX installation, i.e., at least
   [TeX Live 2022](https://www.tug.org/texlive/) with all available updates applied.