From 438e2100bcf7355a6e18d696c2c7a8baadf856d5 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Fri, 24 Jan 2020 16:58:02 +0100
Subject: Update README.md

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

diff --git a/README.md b/README.md
index 6338e6d..a93b834 100644
--- a/README.md
+++ b/README.md
@@ -4,7 +4,7 @@ An experimental implementation of [homotopy type theory](https://en.wikipedia.or
 
 ### UPDATE, Oct 2019
 Convenience and readability of formalizations in this library is taking a hit as we approach the limit of pre-existing functionality available in Isabelle.
-Development is thus, for the moment, moving to [Isabelle/Spartan](https://github.com/jaycech3n/Isabelle-Spartan) to build more automation and improve the framework.
+Development has thus, for the moment, moved to [Isabelle/Spartan](https://github.com/jaycech3n/Isabelle-Spartan) to build more automation and improve the framework.
 
 ### Usage
 
-- 
cgit v1.2.3