From 921e2eb4e39419687a658f4ed3e656e3aa89075d Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 23 May 2020 11:26:46 +0100
Subject: [PATCH] Improved/updated installation instructions.

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

diff --git a/README.md b/README.md
index 5e938a1..9558875 100644
--- a/README.md
+++ b/README.md
@@ -20,13 +20,13 @@ for installing the AFP locally. For short:
 * Let's assume the extracted archive lives in `/home/isabelle/afp`, now execute:
 
 ```
-echo "/home/isabelle/afp/thys" >> ~/.isabelle/Isabelle2018/ROOTS
+echo "/home/isabelle/afp/thys" >> ~/.isabelle/Isabelle2020/ROOTS
 ```
 
 ## How to build
 
 ```
-isabelle build -d UPF_Firewall UPF-Firewall
+isabelle build -D UPF_Firewall
 ```
 
 ## Authors