From 399cb007b507e929cdada3902063045255efe7ed Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 26 Mar 2022 10:33:50 +0000
Subject: [PATCH] Updated instructions for installing AFP.

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

diff --git a/README.md b/README.md
index 6cd9c31..f249f4d 100644
--- a/README.md
+++ b/README.md
@@ -21,7 +21,7 @@ for installing the AFP locally. For short:
 * Let's assume the extracted archive lives in `/home/isabelle/afp`, now execute:
 
 ```console
-achim@logicalhacking:~$ echo "/home/isabelle/afp/thys" >> ~/.isabelle/Isabelle2020/ROOTS
+achim@logicalhacking:~$ isabelle components -u "/home/isabelle/afp/thys"
 ```
 
 ## How to build