From ad27e7a91e41e933134edc9fcade89227fa5acdb Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Mon, 6 Apr 2020 13:40:42 +0200
Subject: Update README.md

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

diff --git a/README.md b/README.md
index 879b5d3..3691ed0 100644
--- a/README.md
+++ b/README.md
@@ -5,10 +5,10 @@ An experimental implementation of [homotopy type theory](https://en.wikipedia.or
 ### Usage
 
 Isabelle/HoTT is compatible with Isabelle2019.
-To use, add the Isabelle/HoTT folder path to `.isabelle/Isabelle2019/ROOTS` (on Mac/Linux/cygwin installations):
+To use, add the Isabelle/HoTT folder path to `.isabelle/Isabelle2019/ROOTS` (on cygwin/Mac/Linux installations):
 
 ```
-echo <path/to/Isabelle/HoTT> >> ~/.isabelle/Isabelle2019/ROOTS
+echo path/to/Isabelle/HoTT >> ~/.isabelle/Isabelle2019/ROOTS
 ```
 
 ### What (and why) is this?
-- 
cgit v1.2.3