From 7605ea0561eec862b612f84586d7ae768c290113 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 29 Dec 2021 15:13:15 +0000 Subject: [PATCH] Renamed upstream repository and updated instructions for activating AFP. --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index d6445ca..34e34d6 100644 --- a/README.md +++ b/README.md @@ -20,7 +20,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 @@ -41,10 +41,10 @@ This project is licensed under a 3-clause BSD-style license. SPDX-License-Identifier: BSD-3-Clause -## Master Repository +## Upstream Repository -The master git repository for this project is hosted by the [Software -Assurance & Security Research Team](https://logicalhacking.com) at +The upstream git repository, i.e., the single source of truth, for this project is hosted +by the [Software Assurance & Security Research Team](https://logicalhacking.com) at . ## Publications