diff --git a/README.md b/README.md index aedfd2b..4e90ed3 100644 --- a/README.md +++ b/README.md @@ -35,5 +35,5 @@ SPDX-License-Identifier: BSD-2-Clause ## Master Repository The master git repository for this project is hosted by the [Software -Assurance & Security Research Team](https://logicalhacking.com): -[https://git.logicalhacking.com/adbrucker/isabelle-hacks] +Assurance & Security Research Team](https://logicalhacking.com) at +https://git.logicalhacking.com/adbrucker/isabelle-hacks