From d7ae8044e7413f8bb0bc25d4a903b8fc206d7611 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Tue, 29 Oct 2019 11:52:02 +0100
Subject: Update README.md

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

diff --git a/README.md b/README.md
index a095173..12c06fa 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,8 @@
 An experimental implementation of [homotopy type theory](https://en.wikipedia.org/wiki/Homotopy_type_theory) in [Isabelle](https://isabelle.in.tum.de/).
 
 **Update [15 Oct 2019]**: 
-Convenience and readability of formalizations in the library is taking a hit as we move to the limits of the currently available functionality in Isabelle, so for the moment development has moved [here](https://github.com/jaycech3n/Isabelle-Spartan), in order to first build more necessary automation and improve the framework.
+Convenience and readability of formalizations in the library is taking a hit as we move to the limits of the currently available functionality in Isabelle.
+Hence for the moment development has moved [here](https://github.com/jaycech3n/Isabelle-Spartan) in order to first build more necessary automation and improve the framework.
 
 ### Usage
 
-- 
cgit v1.2.3